up previous next
IsArrFree    --    checks if the arrangement is free


Syntax 
IsArrFree(Q: RINGELEM): BOOL

Description
This function tests whether the arrangement A is free from its defining equation Q.

Example 
/**/ use QQ[x,y];	
/**/ A := [x, x-y, y];
/**/ Q_A := product(A);
/**/ IsArrFree(Q_A);
true

/**/ use QQ[x,y,z];
/**/ A := [x,  x+z,  y,  2*y-3*z];
/**/ IsArrFree(product(A));
false

See Also