|
7.7.6.0. iv2lpMat
Procedure from library fpadim.lib (see fpadim_lib).
- Usage:
- iv2lpMat(M); M an intmat
- Return:
- ideal
- Purpose:
- Converting an intmat into an ideal of the corresponding monomials.
The rows of the intmat corresponds to an intvec, which stores the
monomial.
For the encoding of the variables see the overview.
- Assume:
- - The rows of M must correspond to Letterplace monomials
- basering has to be a Letterplace ring
Example:
|