Le forum de XCAS

J'ai un Pb avec pmin:

C:=companion((x^2-4)^2,x);CC:=companion((x^3-8)^3,x)
M:=diag(C,CC)
pmin(M,x) est de degre 13, mais pas a coeffs entiers, meme avec un epsilon nul.

et il n'annule pas M
G:=unapply((pmin(M,x)),x)
G(M)

Fred

salut!
j'ai un probleme pour lire ta matrice CC. J'ai teste avec CC:=companion((x^3-t^3,x), pmin(M,x) renvoie un polynome que l'on simplifie avec normal en
-t^3*x^4+8*t^3*x^2-16*t^3+x^7-8*x^5+16*x^3
ensuite normal(subst(normal(G),x=M) ou horner(normal(G),M) me renvoie bien la matrice nulle.

oups c'est un huit, mais je n'arrive pas a le faire:
CC:=companion((x^3-8 ) ^3,x)

Voila, j'ai corrige le bug. Je mets a jour les diverses versions.