MinimalPresentation |
Syntax |
MinimalPresentation(Q:TAGGED):TAGGED where Q is a quotient module of the type R^s/M |
Description |
Example |
Use R ::= QQ[x,y,z]; MinimalPresentation(R^3/Module([[x,1,1], [x,2,2]])); R^2/Module([[x, 0]]) ------------------------------- |