sat standard basis result matrix variable [max power d]

Divide each column of the standard basis by the specified ring variable as many times as possible, or as much as d times, if d is given on the command line. The highest power divided by is then displayed.

This command is most useful in conjunction with the reverse lexicographic order, where the ring variable is the least variable in the order.

For example, if the variables are "abct", and the monomial order is the reverse lexicographic order, then

%  putstd j k

%  type k
; b2t-act ab-ct a2-bt 

%  sat j jsat t
; largest division was by t

%  type jsat
; b2-ac ab-ct a2-bt

Possible applications include finding ideal quotients using the reverse lex. order with the given ring variable being the least variable in the order.