up previous next
determine (minimal) GCD free basis of a set of integers
GCDFreeBasis(L:LIST of INT):LIST of INT

This function returns a GCD free basis of a set of integers; you can
think of this as the set of all numbers (except 1) obtainable by performing GCD
and exact division operations.
Given a set
N = [ N_1,...N_k ] we seek a basis
G = [ G_1,...,G_s ] such that
each
N_i is a product of powers of the
G_j, and the
G_j are pairwise
coprime; the set
G is called a GCD free basis for
N. In general the set
G is not uniquely defined.
GCDFreeBasis([Fact(20), Fact(10)]);
[46189, 4, 14175]

