up previous next
SubalgebraRepr

representation of a polynomial as a subalgebra element

Syntax
SubalgebraRepr(F: RINGELEM, L: LIST): RINGELEM
SubalgebraRepr(F: RINGELEM, M:TAGGED("$alghom.Map")): RINGELEM

Description
***** NOT YET IMPLEMENTED *****

This function returns the representation of a polynomial as a subalgebra element in terms of the subalgebra generators.

Example
  Use QQ[s,t];
  L := [s^3, s^2t, st^2, t^3];
  SAM := SubalgebraMap(L);
  IsInSubalgebra(s^6t^6, SAM);
True
-------------------------------
  SubalgebraRepr(s^6t^6, L);
SubalgebraRing :: x[1]^2x[4]^2
-------------------------------
  SubalgebraRepr(s^6t^6, SAM);  -- more efficient for repeated computations
SubalgebraRing :: x[1]^2x[4]^2
-------------------------------
  Image(It, RMap(L));
s^6t^6
-------------------------------

See Also