Singular Manual: isTorsionFree

| #### D.15.12.33 isTorsionFree Procedure from library `multigrading.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 Example:
    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;

User manual for Singular version 4.3.2, 2023, generated by texi2html.