Programme de récurrence

[pierrotdu18]

En version bien visuelle ça fait ça :

(a ∧ b) ∨ (¬b ∧ ¬a)

[NspireCas]

Bisam au secours
J'ai créé une fonction avec deux arguments a et b ; si (a and b) or (not(a) and not(b)) ça retourne 1 sinon ça retourne 0.
Lorsque je mets pour arguments u(k)>k+1 et 2u(k)>2(k+1), ben ça renvoie 0...

[Excale]

Bisam au secours
J'ai créé une fonction avec deux arguments a et b ; si (a and b) or (not(a) and not(b)) ça retourne 1 sinon ça retourne 0.
Lorsque je mets pour arguments u(k)>k+1 et 2u(k)>2(k+1), ben ça renvoie 0...

Yup, bug de la Nspire, évalue deux fois.

Cette formule marche:

Code: Select all

expr(a) and expr(b) or not expr(a) and not expr(b)|a="u(k)>k" and b="2*u(k)>2k"
true

Effectivement, celle là ne renvoie pas "true".

Code: Select all

expr(a) and expr(b) or not expr(a) and not expr(b)|a="u(k)>k+1" and b="2*u(k)>2(k+1)"
u(k)-k-1>0 and u(k)-k>1 or u(k)-k-1≤0 and u(k)-k≤1

Mais si on évalue le résultat, ça renvoie bien true!

Code: Select all

u(k)-k-1>0 and u(k)-k>1 or u(k)-k-1≤0 and u(k)-k≤1
true

Et voilà comment le faire en une unique fois:

Code: Select all

expr( string(expr(a) and expr(b) or not expr(a) and not expr(b)|a="u(k)>k+1" and b="2*u(k)>2(k+1)"))
true

[NspireCas]

Soit j'ai pas compris, soit j'y arrive pas. J'essaie de créer une fonction, du coup pas de | a=...etc.
Peut être que c'est a cause de ça que ça ne marche pas...
Tu peux me réécrire le code de la fonction, parce que la tu m'en a passé 4 et je ne sais pas lequel marche

[Excale]

J'ai commenté les différents blocs de code.

Remplace juste "___endoperatorsoperators___" par "string", j'irai fouetter Adriweb plus tard pour ce bug.


Edit Adriweb : oui ben c'est pas vraiment de ma faute si le script bug En attendant, "suffit" de mettre un espace (insécable?) devant, par exemple.

[NspireCas]

Ok

[Bisam]

Une façon de s'en sortir en forçant une évaluation supplémentaire est la suivante :

Code: Select all

Define equiv(a,b)=
Func
Local c
a and b or not a or not b ->c
Return c
EndFunc

Quand tu testes avec les valeurs de a et b que tu fournissais, on obtient bien "True", comme attendu.

Remarque : Autant renvoyer "True" ou "False", qui sont plus compréhensibles que 1 ou 0...

[NspireCas]

D'accord, merci

[Excale]

Une façon de s'en sortir en forçant une évaluation supplémentaire est la suivante :

C'est effectivement plus propre (et rapide) que mes expr(string()) inlinés.

[Excale]

Review rapide de http://tiplanet.org/forum/archives_voir.php?id=22298 :

• utilise des variables locales
• peut-être pas de ta faute (je connais trop mal Request), mais la Nspire m'autocomplète l'input de U(wv) en string (si j'ai rentré 2, ça me proposera "2") (bug pour Adriweb)

• Code: Select all

  © Au cas où a affiche une erreur (parenthèse non fermée, symboles etc.)
Try
   a:=expr(a)
Else
EndTry

  Oui ben affiche qu'il y a une erreur...
• t'y peux encore rien mais ce fichu TINCS sait pas qu'après un ©, c'est un fichu commentaire et qu'il faut pas tout mettre en italique après des parenthèses! (bug pour Adriweb)

• Code: Select all

  If inString(prop,"u(n+1)")≠0 Then

  C'est pas bon de faire ça. What if j'ai une propriété avec du u(n+2) ? du u(2n)? Pour l'initialisation, je pense que tu peux raisonnablement faire une fonction u(n) qui renvoie vraiment la valeur de u(n) (par récursivité (si l'utilisateur entre une formule qui demande de calculer plus de 120 termes, on peut raisonnablement penser qu'il est trop tordu pour utiliser le programme))
• (option, ça alourdit l'entrée) La suite peut-être définie à partir du rang 0, mais il se peut que la formule ne soit vraie qu'à partir du rang p. Auquel cas l'utilisateur aimerait bien rentrer u(0), mais définir p comme étant le rang pour l'initialisation)
• et un dernier (bug pour Adriweb) pour la route: l'ascenseur dans l'éditeur de programmes est buggué!

Tu me dis quand tu as corrigé ça, je devine que j'ai encore 42 remarques si je lis plus loin que les 20 premières lignes.

Allez, au travail!