Given Boolean generators of an ideal we would like to compute a generating system of Boolean polynomials, where
This can be done as in the classical case despite the field equations using an elimination ordering for