|
D.15.13.34 isPositive
Procedure from library multigrading.lib (see multigrading_lib).
- Usage:
- isPositive()
- Purpose:
- Computes whether the multigrading of the ring is positive.
For computation theorem 8.6 of the Miller/Sturmfels book is used.
- Returns:
- true if the multigrading is positive
Example:
|