Difference between revisions of "ApCoCoA-1:BB.GenericHomBB"

From ApCoCoAWiki
(Shortened short description)
(adding formula and quotes tags)
Line 1: Line 1:
 
<command>
 
<command>
 
     <title>borderbasis.GenericHomBB</title>
 
     <title>borderbasis.GenericHomBB</title>
     <short_description>Compute "generic" hom. BB w.r.t. order ideal</short_description>
+
     <short_description>Compute <quotes>generic</quotes> hom. BB w.r.t. order ideal</short_description>
 
<syntax>
 
<syntax>
 
$borderbasis.GenericHomBB(OO:LIST):LIST
 
$borderbasis.GenericHomBB(OO:LIST):LIST
 
</syntax>
 
</syntax>
 
     <description>
 
     <description>
Computes the "generic" homogeneous border basis w.r.t. an order ideal OO. 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> homogeneous border basis w.r.t. an order ideal OO. 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.GenericHomBB

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

Syntax

$borderbasis.GenericHomBB(OO:LIST):LIST

Description

Computes the "generic" homogeneous border basis w.r.t. an order ideal OO. 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>.