The monprimes command creates a 0-1 matrix whose columns correspond to the isolated primes of the initial monomial ideal of its argument. Each 1 indicates that the corresponding variable is a generator of the prime ideal given by that column.
monprimes uses the lead terms of a Gröbner basis if available. Otherwise, it uses the lead terms of the generating set without protest, to facilitate decompositions of arbitrary monomial ideals.
% monprimes monprimes <standard basis> <result> % <ideal a ab ac ad bd cd % monprimes a b % type b 1 0 1 0 1 1 0 1 1 1 1 0