Top
Back: letplaceGBasis
Forward: freeGBasis
FastBack: fpadim_lib
FastForward: involut_lib
Up: freegb_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document
7.7.7.0. lpNF
Procedure from library freegb.lib (see freegb_lib).

Usage:
lpNF(p,G); f letterplace polynomial, ideal I

Return:
poly

Purpose:
computation of the normalform of p with respect to G

Assume:
p is a Letterplace polynomial, G is a set Letterplace polynomials, being a Letterplace Groebner basis (no check for this will be done)

Note:
Strategy: take the smallest monomial wrt ordering for reduction
For homogenous ideals the shift does not matter
For non-homogenous ideals the first shift will be the smallest monomial

Example:
 


Top Back: letplaceGBasis Forward: freeGBasis FastBack: fpadim_lib FastForward: involut_lib Up: freegb_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-1-6, Dec 2012, generated by texi2html.