PolynomialConversion(C, E, syms)

qetatool.spad line 238 [edit on github]

• C: Ring

• E: OrderedAbelianMonoid with

  directProduct: Vector NonNegativeInteger -> %

  members: % -> List NonNegativeInteger

• syms: List Symbol

undocumented

coerce: Polynomial C -> PolynomialRing(C, E)

coerce: PolynomialRing(C, E) -> Polynomial C