up previous next
RefineGCDFreeBasis

refine an integer GCD free basis

Syntax 
RefineGCDFreeBasis(B: LIST of INT, N: INT): LIST of INT

Description
This function computes a refined GCD free basis by adjoining a given integer to it. The value returned is [NewB, N2] where NewB is the refined basis and N2 is the part of N coprime to every element of B.

Example 
/**/  B := GCDFreeBasis([Fact(10), binomial(20,10)]);  B;
[14175, 4, 46189]

/**/  RefineGCDFreeBasis(B, 15);
[[7, 3, 5, 4, 46189], 1]

See Also