|
 |
 |
 |
 |
 |
 |
 |
 |
 |
D.15.13.33 isTorsionFree
Procedure from librarymultigrading.lib (see multigrading_lib).
- Usage:
- isTorsionFree()
- Purpose:
- Determines whether the multigrading attached to the current ring is free.
- Return:
- boolean, the result of the test
LIB "multigrading.lib"; ring R = 0,(x,y),dp; intmat M[2][2]= 1,0, 0,1; intmat T[2][5]= 1, 2, 3, 4, 0, 0,10,20,30, 1; setBaseMultigrading(M,T); // Is the resulting group free? isTorsionFree(); ==> 1 kill R, M, T; /////////////////////////////////////////// ring R=0,(x,y,z),dp; intmat A[3][3] = 1,0,0, 0,1,0, 0,0,1; intmat B[3][4]= 3,3,3,3, 2,1,3,0, 1,2,0,3; setBaseMultigrading(A,B); // Is the resulting group free? isTorsionFree(); ==> 0 kill R, A, B; |