CoCoA:RefineGCDFreeBasis

RefineGCDFreeBasis

refine an integer GCD free basis

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]
-------------------------------

Syntax

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

GCDFreeBasis

   <type>int</type>