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

From ApCoCoAWiki
(Updated parameter and return value list.)
(Key and see section update.)
Line 12: Line 12:
 
</itemize>
 
</itemize>
 
     </description>
 
     </description>
     <key>kreuzer</key>
+
     <key>GenericHomBB</key>
     <key>bb.generichombb</key>
+
     <key>BB.GenericHomBB</key>
     <key>borderbasis.generichombb</key>
+
     <key>borderbasis.GenericHomBB</key>
 
     <wiki-category>Package_borderbasis</wiki-category>
 
     <wiki-category>Package_borderbasis</wiki-category>
 
</command>
 
</command>

Revision as of 19:00, 22 April 2009

BB.GenericHomBB

Compute a generic homogeneous border basis.

Syntax

BB.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>.

  • @param OO A list of terms representing an order ideal.

  • @return A list of generic homogeneous border basis polynomials w.r.t. to an order ideal OO. The polynomials will belong to the ring UF = K[x_1,..,x_n,c_{ij}].