Package sagbi/SB.FindLTRepr

From ApCoCoAWiki
This article is about a function from ApCoCoA-2.

SB.FindLTRepr

This function takes a term t and a list of terms T and computes a representation of t as a product of terms in T

Syntax

SB.FindLTRepr(t: POLY, T: LIST of POLY): LIST

Description

  • @param t A term, i.e. a monic polynomial with only one term in its support

  • @param T A list [t1,...,ts] of terms in the same polynomial ring as t

  • @return A list [a1,...,as] such that t = t1^a1 * ... * ts^as or [] if such a list doesn't exist.

Example

Use QQ[x,y,z];
t := x^2*y^5*z^3;
T := [x*y, y*z^2, x*z, y];
SB.FindLTRepr(t,T);
-- [1, 1, 1, 3]

See also

Package sagbi/SB.FindLTRepr_glpk

Package sagbi/SB.ReductionStep