factor ave rootof

[frederic han]

factor semble perdre la fin lorsqu'il y a un rootof en facteur, alors que factors marche parfaitement:

Code : Tout sélectionner

t:=rootof([1,0],poly1[1,-4,-12,36]);
C:=y^2*t + x^2 + 4*x*y - 4*y^2 - x*t - 2*y + 1
factor(C)

donne seulement: rootof([[1,-4],[1,-4,-12,36]])
alors que

Code : Tout sélectionner

factors(C)
 [x+rootof([[-1,-2,36],[1,-4,-12,36]])6y+rootof([[1,-4,-6],[1,-4,-12,36]])6,1,x+rootof([[1,2,-12],[1,-4,-12,36]])6y+rootof([[-1,-2,6],[1,-4,-12,36]])6,1]

testé aussi avec xcas en ligne.

[parisse]

C'est marrant parce que c'est le meme fix que pour un autre bug qu'on m'a signale hier apres-midi!
https://github.com/geogebra/giac/commit ... 33e8eae158