Is there an absolute irreducibility check in giac/XCas? In maple we have AIrreduc to check absolute irreducibility. For instance I can do:
Code : Tout sélectionner
evala(AIrreduc(x^2+y^2+z^2)); #returns true
evala(AIrreduc(x^2+y^2)); #returns false
Modérateur : xcasadmin
Code : Tout sélectionner
evala(AIrreduc(x^2+y^2+z^2)); #returns true
evala(AIrreduc(x^2+y^2)); #returns false