We give procedures for determining whether a given monoid is an affine semi
group and for computing the dual of a semigroup. We also give methods for d
eciding whether an affine semigroup is normal and/or full. The algorithms p
resented here are based on the computation of the set of minimal nontrivial
nonnegative integer solutions of systems of linear diophantine equations.
(C) 1999 Elsevier Science Inc. All rights reserved.