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(GCDFreeBasis([Fact(10), Bin(20,10)]);
[14175, 4, 46189]
-------------------------------
  RefineGCDFreeBasis(B, 15);
[[7, 3, 5, 4, 46189], 1]
-------------------------------


See Also