ApCoCoA-1:BB.GenericBB: Difference between revisions

From ApCoCoAWiki
Skaspar (talk | contribs)
Shortened short description
KHiddemann (talk | contribs)
adding formula and quotes tags
Line 1: Line 1:
<command>
<command>
     <title>borderbasis.GenericBB</title>
     <title>borderbasis.GenericBB</title>
     <short_description>Compute "generic" BB w.r.t. order ideal</short_description>
     <short_description>Compute <quotes>generic</quotes> BB w.r.t. order ideal</short_description>
<syntax>
<syntax>
$borderbasis.GenericBB(OO:LIST):LIST
$borderbasis.GenericBB(OO:LIST):LIST
</syntax>
</syntax>
     <description>
     <description>
Computes the "generic" border basis w.r.t. an order ideal OO i.e. the polys g_j = b_j - \sum_i c_{ij} t_i. The input is a list of terms OO (2nd element of type POLY). The output is a list of POLY in a "universal family ring" UF where UF = K[x_1,..,x_n,c{ij}].
Computes the <quotes>generic</quotes> border basis w.r.t. an order ideal OO i.e. the polys <formula>g_j = b_j - \sum_i c_{ij} t_i</formula>. The input is a list of terms OO (2nd element of type POLY). The output is a list of POLY in a <quotes>universal family ring</quotes> UF where <formula>UF = K[x_1,..,x_n,c{ij}]</formula>.
     </description>
     </description>
     <key>Kreuzer</key>
     <key>Kreuzer</key>

Revision as of 01:40, 2 November 2007

borderbasis.GenericBB

Compute "generic" BB w.r.t. order ideal

Syntax

$borderbasis.GenericBB(OO:LIST):LIST

Description

Computes the "generic" border basis w.r.t. an order ideal OO i.e. the polys <formula>g_j = b_j - \sum_i c_{ij} t_i</formula>. The input is a list of terms OO (2nd element of type POLY). The output is a list of POLY in a "universal family ring" UF where <formula>UF = K[x_1,..,x_n,c{ij}]</formula>.