π
<-

Omega bêta 1.21 : obtiens les expressions des dérivées !

Omega bêta 1.21 : obtiens les expressions des dérivées !

Unread postby Admin » 24 Feb 2021, 13:11

Dans sa boîte à outils, la calculatrice NumWorks te propose une fonction diff(expression,variable,valeur) pour calculer un nombre dérivé.

L'algorithme mis en œuvre en interne jusqu'à présent, était basé sur la définition du nombre dérivé telle que vue en Première : la limite du taux de variation de l'expression en la valeur en question.

Confiée à une machine, cette méthode de calcul nécessite toutefois beaucoup de précautions. Il y a nombre de choses à prendre en compte à la valeur en question :
  • la fonction est-elle définie ?
  • la fonction est-elle continue ?
  • la fonction est-elle dérivable ?
  • les limites à gauche et à droit sont-elles les mêmes ?

Bref, le calcul de nombre dérivé sur la NumWorks était jusqu'à présent tout sauf fiable.

Voici par exemple ci-contre plein de nombres dérivés nuls en 0, alors que les expressions en question ne sont pas dérivables en 0, les limites du taux de variation étant différentes à gauche et à droite, et leurs représentations graphiques n'admettent absolument pas de tangente horizontale en 0.

Ce n'est pas le seul problème. Représentons graphiquement une fonction ainsi que sa fonction dérivée. Pour de grands nombres, nous obtenons des tracés aberrants...



Egalement, les calculs de limites sont ici effectués en interne en évaluant avec des valeurs de plus en plus proches de la cible. C'est-à-dire qu'il s'agit d'approximations, et donc tu obtenais toujours ton nombre dérivé en écriture décimale, et donc bien souvent des approximations au lieu de valeurs exactes.

Et puis, la dernière mise à jour 15.3.0 est venue corriger tout cela. :bj:

Finies les erreurs manifestes que ce soit dans l'application Calculs ou Fonctions ! :bj:

Les nombres dérivés continuent à être retournés en écriture décimale, mais tu peux désormais en demander des résultats complémentaires et y trouver la valeur exacte.
Par contre attention, en pratique cela ne semble marcher que pour les valeurs rationnelles (c'est-à-dire attendues sous la forme d'une fraction irréductible). :#non#:

Mais comment ont-ils fait chez NumWorks pour réaliser de telles prouesses ?

Souviens-toi, avec la version 1.2.0, NumWorks introduisait une fonctionnalité révolutionnaire pour cette gamme de prix, le calcul littéral. C'est-à-dire qu'il y avait en interne un moteur travaillant sur des arbres de calcul représentant les différentes expressions algébriques saisies.

Cette fonctionnalité parfaitement autorisée et légitime aux examens en France puisque présente sur d'autres modèles concurrents, fut hélas supprimée à compter la version 11.2.0, sous la pression de certains de nos voisins européens interdisant ce genre de fonctionnalités à leurs examens (entre autres Pays-Bas, Portugal, Italie, Royaume-Uni, Baccalauréat International, ...). :mj:

Plus exactement, le moteur de calcul littéral n'a pas été supprimé. Mais tout résultat dont l'arbre le représentant fait intervenir la moindre valeur non numérique (variable) voit son affichage censuré par un undef.

Donc pour en revenir à la dérivation, désormais NumWorks met à profit en interne son moteur de calcul littéral pour construire l'expression dérivée de l'expression que tu as fournie, et l'évalue simplement ensuite avec la valeur ciblée.

1361313612Le firmware Omega a le gros avantage de réactiver totalement le moteur de calcul littéral de ta NumWorks.

Pour la dérivation et bien d'autres choses, tu pouvais déjà y rajouter des applications comme KhiCAS avec son moteur de calcul formel GIAC, encore une fois légitimes en France et donc restant disponibles en mode examen :bj:

Mais puisque la dernière version 15.3.0 utilise le moteur de calcul littéral pour la dérivation, et que Omega déverrouillait totalement le moteur de calcul littéral en question... qu'est-ce que ça donne avec la dernière version bêta 1.21 d'Omega ? ;)

13614Et bien fantastique magie ça marche, il suffit de redonner la variable en tant que valeur et on obtient directement l'expression dérivée ! :#tritop#:

Avec ici donc l'intégration à l'application Calculs à laquelle tu es habitué·e, et le gros avantage de la gestion directe de la saisie et de l'affichage en écriture naturelle : :D


Pour les nombres dérivées, on peut déplorer la persistance des résultats en écriture décimale.

Et pas davantage de possibilité de demander des résultats complémentaires en valeur exacte ici.

Toutefois petite astuce, il te suffit :
  1. de demander l'expression dérivée
  2. d'affecter la valeur cible à sa variable
  3. de copier coller l'expression dérivée :)

Par contre, il semble y avoir une frilosité de l'équipe Omega autour du mode examen dans cette version bêta. Déjà, la page d'installation de la version bêta te prétend que le mode examen a été supprimé...

Nous te rassurons de suite, selon nos tests le mode examen est bien présent et fonctionnel.
Toutefois, cela nous amène quand même à un très grave inconvénient avec cette version bêta d'Omega, que dans ton propre intérêt nous ne pouvons taire. Le firmware Omega bêta ajoute un message informatif à l'écran d'activation du mode examen, il indique donc ici qu'Omega est un logiciel non officiel, que son mode examen n'est donc pas garanti conforme, ni par NumWorks ni par Omega. :o

En pratique le mode examen nous semble fonctionner correctement.

Mais peu importe que ce soit vrai ou faux, avec les termes très lourds de sens de "non officiel" et "conformité [...] non garantie", il y a tout ce qu'il faut pour effrayer les surveillants qui justement peuvent être stressés et avoir les yeux partout lors de la phase d'activation du mode examen en début d'épreuve, et induire des conséquences dramatiques pour les élèves innocents : devoir composer sans la calculatrice, voir même pire faire face à un procès verbal de fraude pour avoir introduit un mode examen altéré / non conforme, passible de plusieurs années d'interdiction de passer tout examen ou concours (y compris le permis de conduire), de quoi bien gâcher une vie. Le pire étant que ce sera aléatoire et donc injuste, tout dépendra de si le surveillant posera ses yeux sur l'écran de ta machine au moment de l'activation ou pas, et si ces 3 lignes de texte normalement absentes l'amèneront à lire et tilter ou pas. :'(
Nous sommes de plus en ce 2ème trimestre en pleine période d'épreuves communes et examens blancs, où l'activation et la vérification soigneuse du mode examen sont la norme contrairement aux simples devoirs surveillés, c'est à peu près le pire moment de l'année pour diffuser en public un firmware avec un tel message...

Certes les épreuves d'examens sont annulées cette année, mais ce n'est pas forcément mieux. Cela veut dire que si tu installes la bêta d'Omega, tu risques de ne plus y penser car étant peut-être moins amené·e à utiliser ta calculatrice dans les quelques mois qui restent, et te retrouver piégé·e l'année prochaine.
Peut-être aussi en auras-tu terminé avec les sciences cette année et vas-tu revendre, prêter ou donner ta calculatrice. Et si son nouvel utilisateur ou utilisatrice est moins attentif que toi avec les versions installées, c'est lui qui sera piégé.

Nous ne pouvons que déplorer ce choix. Nombre d'élèves risquent de se présenter à leur épreuve commune ou terminale avec une version bêta cette année ou l'année prochaine, parce qu'ils auront oublié de mettre à jour d'ici-là ou parce que la calculatrice aura été prêtée/vendue, et d'avoir alors à ce moment-là une très mauvaise surprise.
Dans un contexte scolaire ou tout autre contexte avec des évaluations en mode examen, dans ton propre intérêt ne prends pas de risques. Nous le comprenons parfaitement, cela fait très mal vu les nouvelles fonctionnalités proposées, mais ne passe pas sur la version bêta d'Omega. :#non#:

Installation :
 
Ce compte ne reçoit pas de MP / This account does not receive PMs.
User avatar
AdminAdmin
Niveau 14: CI (Calculateur de l'Infini)
Niveau 14: CI (Calculateur de l'Infini)
Level up: 1%
 
Posts: 460
Images: 28
Joined: 30 Aug 2011, 11:00
Gender: Not specified
Calculator(s):
MyCalcs profile

Re: Omega bêta 1.21 : obtiens les expressions des dérivées !

Unread postby Thom986 » 24 Feb 2021, 17:50

Les fonctions dérivées, c'est un très gros plus. Un quasi indispensable pour gagner en confiance, en vérification pour un lycéen et un étudiant dans le sup.
La réalité, c'est ce qui refuse de disparaître quand on cesse d'y croire. - Philip K. Dick
User avatar
Thom986Premium
Niveau 9: IC (Compteur Infatigable)
Niveau 9: IC (Compteur Infatigable)
Level up: 54.5%
 
Posts: 357
Joined: 21 Feb 2018, 19:11
Gender: Male
Calculator(s):
MyCalcs profile
GitHub: homeostasie

Re: Omega bêta 1.21 : obtiens les expressions des dérivées !

Unread postby critor » 24 Feb 2021, 18:07

Même si on pouvait déjà via KhiCAS, en effet cela n'en reste pas moins un excellent ajout, et encore plus dans cette gamme de prix ! :bj:
Image
User avatar
critorAdmin
Niveau 19: CU (Créateur Universel)
Niveau 19: CU (Créateur Universel)
Level up: 47.5%
 
Posts: 41976
Images: 15730
Joined: 25 Oct 2008, 00:00
Location: Montpellier
Gender: Male
Calculator(s):
MyCalcs profile
YouTube: critor3000
Twitter: critor2000
GitHub: critor

Re: Omega bêta 1.21 : obtiens les expressions des dérivées !

Unread postby parisse » 24 Feb 2021, 18:53

Implementer un calcul de derivee formelle, c'est facile. L'inverse est bien plus difficile...
User avatar
parisseVIP++
Niveau 12: CP (Calculatrice sur Pattes)
Niveau 12: CP (Calculatrice sur Pattes)
Level up: 86%
 
Posts: 3661
Joined: 13 Dec 2013, 16:35
Gender: Not specified
Calculator(s):
MyCalcs profile

Re: Omega bêta 1.21 : obtiens les expressions des dérivées !

Unread postby Thom986 » 24 Feb 2021, 23:51

L'inverse des recherches de primitive ?
La réalité, c'est ce qui refuse de disparaître quand on cesse d'y croire. - Philip K. Dick
User avatar
Thom986Premium
Niveau 9: IC (Compteur Infatigable)
Niveau 9: IC (Compteur Infatigable)
Level up: 54.5%
 
Posts: 357
Joined: 21 Feb 2018, 19:11
Gender: Male
Calculator(s):
MyCalcs profile
GitHub: homeostasie

Re: Omega bêta 1.21 : obtiens les expressions des dérivées !

Unread postby Adriweb » 25 Feb 2021, 00:49

Les dérivées, c'est simple. Les primitives, c'est compliqué. Cf. Risch notamment,

MyCalcs: Help the community's calculator documentations by filling out your calculators info!
MyCalcs: Aidez la communauté à documenter les calculatrices en donnant des infos sur vos calculatrices !
Inspired-Lua.org: All about TI-Nspire Lua programming (tutorials, wiki/docs...)
My calculator programs
Mes programmes pour calculatrices
User avatar
AdriwebAdmin
Niveau 16: CC2 (Commandeur des Calculatrices)
Niveau 16: CC2 (Commandeur des Calculatrices)
Level up: 78.9%
 
Posts: 14744
Images: 1119
Joined: 01 Jun 2007, 00:00
Location: France
Gender: Male
Calculator(s):
MyCalcs profile
Twitter: adriweb
GitHub: adriweb

Re: Omega bêta 1.21 : obtiens les expressions des dérivées !

Unread postby redgl0w » 25 Feb 2021, 07:26

Adriweb wrote:Les dérivées, c'est simple. Les primitives, c'est compliqué. Cf. Risch notamment,

J'ai cherché à comprendre comment ça marchait. J'ai très vite abandonné en effet x3
Image
User avatar
redgl0wVIP+
Niveau 13: CU (Calculateur Universel)
Niveau 13: CU (Calculateur Universel)
Level up: 62.7%
 
Posts: 285
Images: 0
Joined: 30 Oct 2019, 20:36
Location: Grenoble
Gender: Male
Calculator(s):
MyCalcs profile
Class: ENSIMAG 1A
Twitter: Gl0wRed
GitHub: RedGl0w

Re: Omega bêta 1.21 : obtiens les expressions des dérivées !

Unread postby Hamza.S » 25 Feb 2021, 07:41

L'algorithme de risch, il faut des études poussées je pense mais on peut faire quelques primitives grâce au formulaire de dérivées et primitives et grâce à l'intégration par partie
Image
User avatar
Hamza.SAdmin
Niveau 17: GM (Grand Maître des calculatrices)
Niveau 17: GM (Grand Maître des calculatrices)
Level up: 29%
 
Posts: 4501
Images: 18
Joined: 07 Nov 2014, 00:43
Gender: Male
Calculator(s):
MyCalcs profile

Re: Omega bêta 1.21 : obtiens les expressions des dérivées !

Unread postby parisse » 25 Feb 2021, 09:39

Oui, bien sur on peut calculer pas mal de primitives sans connaitre l'algorithme de Risch (qui n'est d'ailleurs pas implemente chez TI). Mais c'est beaucoup plus difficile que d'implementer la derivation, qui necessite en gros de comprendre les regles de derivation (linearite, composition et derivee des fonctions usuelles), ce qu'est une fonction recursive et la structure de donnee recursive utilisee pour coder une expression. Je pense que ca doit etre faisable en NSI (par exemple faire un programme utilisant giac qui afficherait le calcul d'une derivee en pas a pas).
Pour l'integration par contre, il n'y a pas de regle universelle, il faut etre capable de reconnaitre la forme de l'integrand pour selectionner l'algorithme adequat, puis il faut implementer l'algorithme ce qui necessite souvent beaucoup d'algorithmes auxiliaires. Par exemple pour integrer sin(x)^10 il faut avoir une fonction de linearisation. Pour integrer une fraction rationnelle, il faut decomposer en elements simples, donc il faut une identite de Bezout sur les polynomes, donc toute l'arithmetique de base sur les polynomes. Et ca se complique encore s'il s'agit d'integrale definie (avec des bornes), car la primitive calculee n'est pas toujours continue.
En fait, les tests d'integration sont d'excellents tests de regression d'un CAS, avec une centaine de primitives on teste surement plus de la moitie du code total.
User avatar
parisseVIP++
Niveau 12: CP (Calculatrice sur Pattes)
Niveau 12: CP (Calculatrice sur Pattes)
Level up: 86%
 
Posts: 3661
Joined: 13 Dec 2013, 16:35
Gender: Not specified
Calculator(s):
MyCalcs profile

Online

Re: Omega bêta 1.21 : obtiens les expressions des dérivées !

Unread postby Bisam » 25 Feb 2021, 21:04

Peut-on changer de variable en dérivant ?
Genre taper diff(sin(x),x,t) et obtenir cos(t) ?
Voire faire des composées : diff(sin(x),x,t^2) pour avoir cos(t^2) ?
User avatar
BisamAdmin
Niveau 15: CC (Chevalier des Calculatrices)
Niveau 15: CC (Chevalier des Calculatrices)
Level up: 69.6%
 
Posts: 5670
Joined: 11 Mar 2008, 00:00
Location: Lyon
Gender: Male
Calculator(s):
MyCalcs profile

Next

Return to News NumWorks

Who is online

Users browsing this forum: ClaudeBot [spider] and 5 guests

-
Search
-
Social TI-Planet
-
Featured topics
Comparaisons des meilleurs prix pour acheter sa calculatrice !
"1 calculatrice pour tous", le programme solidaire de Texas Instruments. Reçois gratuitement et sans aucune obligation d'achat, 5 calculatrices couleur programmables en Python à donner aux élèves les plus nécessiteux de ton lycée. Tu peux recevoir au choix 5 TI-82 Advanced Edition Python ou bien 5 TI-83 Premium CE Edition Python.
Enseignant(e), reçois gratuitement 1 exemplaire de test de la TI-82 Advanced Edition Python. À demander d'ici le 31 décembre 2024.
Aidez la communauté à documenter les révisions matérielles en listant vos calculatrices graphiques !
1234
-
Donations / Premium
For more contests, prizes, reviews, helping us pay the server and domains...
Donate
Discover the the advantages of a donor account !
JoinRejoignez the donors and/or premium!les donateurs et/ou premium !


Partner and ad
Notre partenaire Jarrety Calculatrices à acheter chez Calcuso
-
Stats.
700 utilisateurs:
>646 invités
>47 membres
>7 robots
Record simultané (sur 6 mois):
6892 utilisateurs (le 07/06/2017)
-
Other interesting websites
Texas Instruments Education
Global | France
 (English / Français)
Banque de programmes TI
ticalc.org
 (English)
La communauté TI-82
tout82.free.fr
 (Français)