Le forum de XCAS

Xcas: un logiciel libre de calcul formel
Nous sommes actuellement le Mer Avr 25, 2018 4:40 pm

Heures au format UTC




Publier un nouveau sujet Répondre au sujet  [ 3 messages ] 
Auteur Message
MessagePublié: Mar Avr 10, 2018 7:43 pm 
Hors-ligne

Inscrit le: Lun Avr 17, 2017 4:32 pm
Messages: 71
Hi,

In maple there is a function called "algsubs" which allows me to use an expression (usually algebraic) on a given expression. For instance
Code:
algsubs(l2^2=1,l2^2+l2^3)

will yield "l2+1"

Is there a similar thing in XCas/giac (without going into complex method like grobner basis). For easy conditions this can be done by polynomial remainder, here is a giacpy code

Code:
from giacpy import giac, rem
f=giac("l2**2+l2**3")
print rem(f,"l2**2-1","l2")


Jose


Haut
 Profil  
 
MessagePublié: Mer Avr 11, 2018 6:00 am 
En ligne

Inscrit le: Mar Déc 20, 2005 4:02 pm
Messages: 4302
algsubs does that in Xcas, but it selects one solution, this is not exactly what you want.


Haut
 Profil  
 
MessagePublié: Mer Avr 11, 2018 6:24 am 
En ligne

Inscrit le: Mar Déc 20, 2005 4:02 pm
Messages: 4302
To get l2+1, you can run
Code:
G:=gbasis([l2^2=1],[l2]);
greduce(l2^2+l2^3,G,[l2]);


Haut
 Profil  
 
Afficher les messages publiés depuis:  Trier par  
Publier un nouveau sujet Répondre au sujet  [ 3 messages ] 

Heures au format UTC


Qui est en ligne ?

Utilisateurs parcourant actuellement ce forum : Aucun utilisateur inscrit et 7 invités


Vous ne pouvez pas publier de nouveaux sujets dans ce forum
Vous ne pouvez pas répondre aux sujets dans ce forum
Vous ne pouvez pas éditer vos messages dans ce forum
Vous ne pouvez pas supprimer vos messages dans ce forum
Vous ne pouvez pas insérer de pièces jointes dans ce forum

Rechercher pour:
Sauter vers:  
Powered by phpBB® Forum Software © phpBB Group
Traduction réalisée par Maël Soucaze © 2009 phpBB.fr