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: 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.