|
7.7.6.0. ivMis2Base
Procedure from library fpadim.lib (see fpadim_lib).
- Usage:
- ivMis2Base(M); M a list of intvecs
- Return:
- ideal, a K-base of the given algebra
- Purpose:
- Computing the K-base out of given mistletoes
- Assume:
- - The mistletoes have to be ordered lexicographically -> OrdMisLex.
Otherwise there might some elements missing.
- basering is a Letterplace ring.
- mistletoes are stored as intvecs, as described in the overview
Example:
|