Le forum de XCAS

Cours du lundi 4 mars: Application des séries entières au calcul de fonctions spéciales: calcul de integrate(exp(-t^2),t=0..x) pour x^2<=1, ça converge bien, au-delà on a les problèmes de perte de précision et de nombre de termes à calculer qui augmente sans pouvoir faire de réduction d'argument. Ce...

Pour le problème 3, on peut y arriver avec la version PC de Xcas, en aidant Xcas à plusieurs reprises
https://www-fourier.univ-grenoble-alpes ... 2023_3.xws
Ou voir que l'intégrande est 1/sqrt(2)*(sqrt(x^2+x+1)+sqrt(x^2-x+1)).

cours 6 du 19/02: Rappel majoration du reste de la série de Taylor: cas de ln(1+x) la majoration est mauvaise pour x=-1/2 ou <-1/2 -> autre théorie Série entière comme polynome "de degré infini". Déf de rayon de convergence et majoration du reste pour |x|<|x_0| lorsque |a_k x_0^k| <= M Preuve. Exemp...

Tournoi 2023 d'intégrales du MIT: https://math.mit.edu/~yyao1/pdf/2023_finals.pdf
Xcas en résout 3 sur 5, dont 1 avec une petite aide de l'opérateur.
session

cours 5 sur 12 du lundi 12 février: Utilisation de la calculatrice: exercice 4 de TP (compte-rendu avec note indicative) Calcul des fonctions usuelles et séries de Taylor : 1ère partie. - formule de Taylor avec reste en fonction de la dérivée n+1-ieme. - exemple de la fonction exponentielle, Représe...

Essaie plutot la modification dans first.h. Sinon, à chaque fois que je lis une adresse, il peut se produire un faux positif. Les assertions glibcxx sont juste incompatibles avec ma façon de coder.

Bon, je pense que je vais contourner l'ajout de -D_GLIBCXX_ASSERTIONS en ligne de commande, en ajoutant dans first.h:

Je modifie seulement les pointeurs de fin, ceux de début n'ont pas de raison de l'être, donc avec le diff suivant: 8049c8049 < longlong * bufend=&buffer[0]+cmax-8; --- > longlong * bufend=&buffer[cmax]-8; 8073c8073 < longlong * bufend=&buffer[0]+cmax-8; --- > longlong * bufend=&buffer[cmax]-8; 8319c...

Parce que ça prend du temps et surtout c'est dangereux de faire ce genre de modifs, il faut le faire à plusieurs endroits sans introduire d'erreurs. C'est beaucoup plus sûr de désactiver un test qui a été rajouté dans la libstc++ (et c'est aussi légèrement plus rapide). Il y a d'autres moyens de tes...

Depuis un certain temps (je ne sais plus exactement), j'ai ajouté dans configure.ac -U_GLIBCXX_ASSERTIONS dans le CXXFLAGS, justement pour contourner les tests de la libstdc++ qu'il *faut* désactiver (je n'ai pas l'intention de modifier du code qui fonctionne...). Je ne sais pas qui a la priorité en...

Cours du 5/2 (4ème cours) * Réels représentables exactement en base 2 et 10, 5*0.6 ne fait pas forcément 3 en base 2, comme 3*1/3.0 en base 10 * Produit de 2 flottants. * Erreur absolue pour une somme/différence de 2 flottants, problème de la compensation et perte possible de nombreux chiffres signi...

Il faut purger le cache pour recharger giacwasm.js et vérifier qu'on utilise bien la version wasm (je n'ai plus la machine où je compilais la version asmjs). J'ai en effet modifié la commande projection pour pouvoir écrire directement projection(A,B,C) au lieu de projection(droite(A,B),C).