Package sagbi/SB.FindLTRepr

From ApCoCoAWiki
< Package sagbi
Revision as of 17:20, 27 October 2020 by Andraschko (talk | contribs) (Created page with "{{Version|2}} <command> <title>SB.FindLTRepr</title> <short_description>This function takes a term <tt>t</tt> and a list of terms <tt>T</tt> and computes a representation...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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