Axiom outragé, Axiom martyrisé mais Axiom libéré !

Posté par  (site web personnel) . Modéré par Jaimé Ragnagna.
Étiquettes :
0
13
sept.
2003
GNU
Axiom, le rouleau compresseur du calcul formel initialement développé par IBM (en 1973!), puis commercialisé par le Numerical Algorithms Group jusqu'en 2001, a été libéré en septembre 2002. Les sources sont accessibles depuis fin août sur savannah. Quand je l'avais utilisé (très peu), il y 5 ou 6 ans, le soft était hors de prix et déclinant (pas compétitif devant les jolies interfaces de ses deux concurrents Maple et Mathematica). Il n'empêche que la libération d'un mastodonte pareil change des projets "from scratch": il y a des tonnes de bibliothèques diverses et de la documentation à foison. Et l'intégration avec TeXmacs devrait permettre de disposer rapidement d'une interface attractive.

Aller plus loin

  • # I have a dream that one day my four little formulas ...

    Posté par  (site web personnel) . Évalué à 9.

    Ca peut-être excellent si des bon front-end sont créés.

    Je me rappelle avoir pas mal bidouiller sur la TI-92, qui est déjà un monstre au niveau possibilité de géométrie et calcul formel, en espérant un jour avoir la même chose sur un ordi en version libre.

    Pour ce qui est de la géométrie la TI intégrait Cabri ( http://www.cabri.com/en/products/(...) ) et l'équivalent libre avance bien : kig ( http://edu.kde.org/kig/(...) )
    J'espère voir un jour un frontend KDE à AXIOM avec pourquoi pas l'utilisation des bibliothèques de kformula pour afficher le résultat ( http://www.koffice.org/kformula/(...) ).

    Ca roxerait des mamans ours !!!!!

    L'association LinuxFr ne saurait être tenue responsable des propos légalement repréhensibles ou faisant allusion à l'évêque de Rome, au chef de l'Église catholique romaine ou au chef temporel de l'État du Vatican et se trouvant dans ce commentaire

    • [^] # Re: I have a dream that one day my four little formulas ...

      Posté par  . Évalué à 9.

      Heu, je ne voudrais pas partir en plein troll la, mais bon.
      Les TI-92 et autres HP48/49, c'etait sympa pour faire un peu de calcul symbolique, afficher 2 ou 3 surfaces, reduire quelques petites matrices, mais ca ne va pas beaucoup plus loin (ah, si, les DL et aussi l'affichage des 'pompes')

      La, ca cause de vrai soft de calcul : manipulation d'entiers enormes, simulation non-lineaire...

      Quelqu'un sait ou on peut trouver un 'comparatif' des differents softs de ce type ?
      (fonctionnalités, plateformes supportées...) ?

      • [^] # Re: I have a dream that one day my four little formulas ...

        Posté par  (site web personnel) . Évalué à 4.

        Niveau calcul symbolique la TI m'a pourtant très souvent impressionné (primitive, dérivée, résolution d'équation complexe,...)

        L'association LinuxFr ne saurait être tenue responsable des propos légalement repréhensibles ou faisant allusion à l'évêque de Rome, au chef de l'Église catholique romaine ou au chef temporel de l'État du Vatican et se trouvant dans ce commentaire

        • [^] # Re: I have a dream that one day my four little formulas ...

          Posté par  . Évalué à 2.

          En effet, le calcul formel est très puissant sur les Ti de haut de gamme (j'ai une 89, les fonctionnalité sont quasi-identiques et le processeur est le même, seule la forme change). La géométrie en 3D est un vrai régal. À noter que le BASIC est très pratique dessus mais je n'ai par contre pas essayé de programmer en assembleur (je n'en ai fait que sur 83+ par manque de temps) ni en C.

          Mais c'est clair qu'il ne faut pas non plus leur demander la lune même si ce sont les meilleures.

          • [^] # Re: I have a dream that one day my four little formulas ...

            Posté par  . Évalué à 0.

            ouais \o/

            partons en troll sur TI roX, Casio suX !!

            ps : casio sux !

            • [^] # Re: I have a dream that one day my four little formulas ...

              Posté par  . Évalué à 1.

              Casio sort des calcs avec deux ans de retard sur les Ti mais en couleur ou alors avec peut-être un OS plus pratique. Je préfère Ti car je les trouve plus pratiques et c'est beaucoup plus répandu. De plus, comme j'avais tendance à programmer, la Ti avait rassemblé toute une communauté autour des 83(+) et 89/92(+) et c'est plus sympa pour trouver de l'aide si on bloque en assembleur.

              • [^] # Re: I have a dream that one day my four little formulas ...

                Posté par  . Évalué à -1.

                En fait non, Casio ne sort pas de bonne calculatrice, même avec 2 ans de retard... il en va de même avec les montres, les PDA, etc...

                Casio sapuduku!

                Et pour ceux qui veulent faire du calcul formel, maxima est assez puissant: ça a été développé par le MIT et c'est en GPL avec une interface en tcl/tk ... il faudrait reprendre le projet pour lui faire une zolie interface gtk2 :)

                PS: TI-92+ RoXXX :-D ... Faudra que je demande a mon parrain son RTOS pour la 92+/89/V200 (même s'il est encore tout buggué)

                • [^] # Re: I have a dream that one day my four little formulas ...

                  Posté par  . Évalué à 4.

                  mon dieu.. un troll TI-Casio... vous êtes tombé bien bas pour comparer votre TI avec des saloperies de casio !!!

                  la question n'est pas que Casio sort ces calc avec 2 ans de retard.. non, en fait combien d'année de retard entre la hp48 et une TI potable ?
                  à la louhe je dirais bien 5 ou 6 ans....
                  a part de la memoire, je ne vois pas ce qu'une TI a de plus qu'une hp... d'il y a 10 ans ?
                  ma hp48 à 10 ans !!!!... et même si elle est un peu moins rapide, je vous nique avec vos Ti :)

                  hp rulez et rox les mamans ours !... ti puxor grave

                  voilà, j'ai recentré le troll sur quelque chose de plus serieux, je vous laisse continuer !

                  PS : la geometrie en 3D on s'en fou grave
                  PPS: ca fait du bien de se lacher :)

                  • [^] # Re: I have a dream that one day my four little formulas ...

                    Posté par  . Évalué à 4.

                    oui mais jusqu a present seule HP48XX peut faire avec des matrices symboliques des multiplication, toussa........

                    et TI CASIO on toujours été en retard par rapport a HP.

                    en plus le RPN, de HP48 est vraiment heu EXEPTIONNELLE, d ailleurs comment ne pas aimer une hp48?

                  • [^] # Re: I have a dream that one day my four little formulas ...

                    Posté par  (site web personnel) . Évalué à -7.

                    Mouarf :))

                    Ta HP48 c'est de la merde. Pas foutu de faire de calcul symbolique à part dériver un polynôme du second degré. Et puis l'ergonomie est horrible.
                    Et pour les courbes en 3D même ma TI82 est plus rapide avec un programme fait maison : http://shift.free.fr/?p_ti(...) :)

                    HP c'est de la grosse bouse

                    L'association LinuxFr ne saurait être tenue responsable des propos légalement repréhensibles ou faisant allusion à l'évêque de Rome, au chef de l'Église catholique romaine ou au chef temporel de l'État du Vatican et se trouvant dans ce commentaire

                    • [^] # Re: I have a dream that one day my four little formulas ...

                      Posté par  . Évalué à 4.

                      Serieux, les graph 3D on s'en fou.
                      C'est du tape-à-l'oeuil...

                      j'espere que tu ne te base pas la dessus pour choisir ta babasse.
                      Ps : il existe de supair lib pour faire du calcul formel dans tous les sens pour hp48 (ex erable)... alors qu'a l'epoque les TI en etaient encore aux 4 operations...

                      dans ce troll un coups bas se cache.. saurez vous le detecter ? :)

                      • [^] # Re: I have a dream that one day my four little formulas ...

                        Posté par  (site web personnel) . Évalué à -2.

                        Tape-à-l'oeil ?
                        Quand on étudie des surfaces c'est très utile d'avoir un aperçu de la courbe.

                        Et puis dire que la hp48 savait faire du calcul formel avant grace à l'ajout d'une lib c'est comme dire que Windows est un Unix parce que Cygwin tourne dessus.

                        PS : C'est pas bientôt fini ce troll ? ;)

                        L'association LinuxFr ne saurait être tenue responsable des propos légalement repréhensibles ou faisant allusion à l'évêque de Rome, au chef de l'Église catholique romaine ou au chef temporel de l'État du Vatican et se trouvant dans ce commentaire

                  • [^] # Re: I have a dream that one day my four little formulas ...

                    Posté par  . Évalué à 5.

                    Laissons les TI et autres Casio, gadgets pour lycéens...

                    Ma vie se scinde en deux périodes clairement distinctes et incompatibes:
                    celle durant laquelle je ne connaissais pas la HP48, et la suivante. Sur la
                    première partie de mon existence, assombrie à jamais par la honte et l'infâmie, je
                    ne n'aurai pas l'indécence de m'étendre: je n'étais pas un homme...
                    Mais quant à la seconde, chemin de grâce vers la béatitude, nul mot ne saurait la décrire: j'étais
                    enfin initié aux joies de la HP !! :))))))

                    Pardon. la fatigue :))) -> []

                    • [^] # Re: I have a dream that one day my four little formulas ...

                      Posté par  . Évalué à 3.

                      Moi ma vie se scinde en deux : la première partie où j'ai failli me suicider à cause d'Azoulay (tome 1 comme tome 2, j'ai jamais acheté le tome 3 j'ai préféré dépenser l'argent dans la drogue), la seconde partie où la drogue m'a permis de décrocher un diplome valorisant pour ensuite travailler dans une multinationale.

                • [^] # Re: I have a dream that one day my four little formulas ...

                  Posté par  . Évalué à 1.

                  > Casio sapuduku!

                  Peut être, mais c'est grâce à une casio graph 100 que j'ai pu avoir mon bac ;-)

                  Après, pour savoir si TI c'était mieux que Casio, je sais pas, j'ai eu que des casio en cours...

                  Mais les TI ont l'air excellentes ceci dit (et plus pratique à cause du clavier).

                  • [^] # Re: I have a dream that one day my four little formulas ...

                    Posté par  (Mastodon) . Évalué à 1.

                    Je n'ai rien à apporter sur la guerre TI / Casio, mais sur le coup du clavier, je me souviens d'une anecdote que je m'en vais vous narrer :
                    J'étais au lycée, en seconde (c'est donc très vieux). Le prof de physique nous explique que nous aurons vraiment besoin d'une calculette en cours. Il se propose de faire un achat groupé de TI 30 et TI 57. J'avais hérité alors d'une Casio suffisante, et je me suis fait préter une TI 57 de premère génération (et donc "obsolète"). Un tas d'élèves sautent sur l'occasion.
                    Deux mois après réception des machines, la moitié des $%§ TI 57 bleues étaient foutus.
                    Du genre "j'appuie sur '2' : rien. J'appuie sur '2' : rien. J'appuie sur '2' : la machine affiche '22222' ".
                    Vachement biens les claviers de TI ...

          • [^] # Re: I have a dream that one day my four little formulas ...

            Posté par  . Évalué à 1.

            Je profite qu'il y est des programmeurs TI, pour poser une question (bon OK, ca a rien a foutre ici, ==> [-]).
            En fait je cherche juste quels programmes utiliser sous linux pour faire de l'assembleur 83+. Si quelqu'un pouvait m'aider je lui serait reconnaissant :)

          • [^] # Re: I have a dream that one day my four little formulas ...

            Posté par  (site web personnel, Mastodon) . Évalué à 1.

            À noter que le BASIC
            Ce n'est pas du Basic, c'est du Pascal …

          • [^] # Re: I have a dream that one day my four little formulas ...

            Posté par  (Mastodon) . Évalué à 1.

            <même si ce sont les meilleures.>

            ah non ! les meilleures sont les HP49 !

            ok je sors :)

  • # Re: Axiom outragé, Axiom martyrisé mais Axiom libéré !

    Posté par  (site web personnel) . Évalué à 0.

    Je n'aime pas le titre de cette dépêche. Ça ne reflète manifestement pas l'historique de ce logiciel, et ça rabaisse la valeur historique de la phrase d'origine.

  • # Re: Axiom outragé, Axiom martyrisé mais Axiom libéré !

    Posté par  (site web personnel, Mastodon) . Évalué à 1.

    Je n'ai peut-être pas encore les yeux bien ouverts, mais j'ai été voir le site sur Savannah, et je n'ai pas trouvé les sources à télécharger !

    Quelqu'un aurait-il un lien direct ?

  • # Re: Axiom outragé, Axiom martyrisé mais Axiom libéré !

    Posté par  . Évalué à 10.

    Si il y a un logiciel que j'attends sous GNU/linux c'est bien
    un bon gros logiciel de calcul formel (LCF) libre pour dire au revoir à
    Maple (et autre Mathematica). Franchement, pour l'instant, sauf méconnaissance
    de ma part, on est quand même assez loin du compte...

    * Parmi les libres:
    Bon, il y a Maxima...Le plus abouti actuellement?
    Scilab: gros travail... mais pas de calcul formel.
    J'avoue ne pas avoir eu le temps de tester Yacas, ainsi que certaine bibliothèques
    plus spécialisées.
    * Ne se retrouve-ton pas dans la situation suivante: plein de programmes et autre
    bibliothèques, dont certains sont probablement brillants dans leur
    domaine, mais à peu près autistes? On peu certes parfois bricoler des tuyaux pour
    faire communiquer tout cela. Ca ne fait toutefois pas un environnement cohérent.
    * Il y a des gens qui vont quand même avoir parmi leurs
    outils informatiques de base un LCF, et vivre longtemps avec. Un des intérêts majeur
    des LCF est qu'ils peuvent être largement étendues en
    programmant ses propres routines. Au fil des années, cela
    peut représenter beaucoup de travail. Cela interdit donc de pouvoir zapper
    de manière intempestive. La question que je me pose avant d'adopter un tel logiciel
    est donc: est-ce que certain choix architecturaux de logiciels (âgés) ne les pénalisent
    pas tout de même pour leurs développements futur?
    * En faisant des recherches, je suis tombé sur un "thread" émanant du CNRS.
    Certains réfléchissaient à la possibilté de soumettre un projet proposant
    de transférer une partie des bubgets servant à l'aquisition des licences vers le
    financement de chercheur-développeurs créant les bases d'un LCF libre. Sans
    pouvoir savoir si il s'agit d'une idée qui restera sans suite, elle me semble
    trés intéressante.

  • # Re: Axiom outragé, Axiom martyrisé mais Axiom libéré !

    Posté par  . Évalué à 10.

    Please forgive me. I cannot read or write French although I'm using a
    dictionary to try to understand the postings. It is interesting to see that
    Axiom has been noticed. I consider the French community to be very
    important to the future of Axiom. If you have questions and can write
    them in English I'd be happy to try to answer them.

    Tim Daly (Axiom Lead Developer)
    axiom@tenkan.org
    daly@idsi.net

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.