Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

multivariate polynomials, libsingular and polydict

When defining mutlivariate polynomial in two different ways, I cannot compare them because they seem to have a different type. On the one hand I have

R = PolynomialRing(QQ,'x', 3); x = R.gens()
f = x[0] + x[1] + x[2]
type(f)

which gives <πšπš’πš™πšŽ'𝚜𝚊𝚐𝚎.πš›πš’πš—πšπšœ.πš™πš˜πš•πš’πš—πš˜πš–πš’πšŠπš•.πš–πšžπš•πšπš’βŽ―πš™πš˜πš•πš’πš—πš˜πš–πš’πšŠπš•βŽ―πš•πš’πš‹πšœπš’πš—πšπšžπš•πšŠπš›.π™Όπ™Ώπš˜πš•πš’πš—πš˜πš–πš’πšŠπš•βŽ―πš•πš’πš‹πšœπš’πš—πšπšžπš•πšŠπš›'>. On the other hand I define what is (to me) the same polynomial:

SF = SymmetricFunctions(F); SF.inject_shorthands(verbose=False)
g = h[1].expand(3, alphabet = R.gens())
type(g)

which gives <πšŒπš•πšŠπšœπšœ'𝚜𝚊𝚐𝚎.πš›πš’πš—πšπšœ.πš™πš˜πš•πš’πš—πš˜πš–πš’πšŠπš•.πš–πšžπš•πšπš’βŽ―πš™πš˜πš•πš’πš—πš˜πš–πš’πšŠπš•βŽ―πšŽπš•πšŽπš–πšŽπš—πš.π™Όπ™Ώπš˜πš•πš’πš—πš˜πš–πš’πšŠπš•βŽ―πš™πš˜πš•πš’πšπš’πšŒπš'>

Thus when comparing f == g it gives false. How can get these two modules to talk to each other?