DenseHomogeneousExteriorProduct

Exports

• FiniteSet
  appears?:	(%, I) $\to$ Boolean	Degree in a variable
  increment:	% $\to$ Partial %	Increment all the variables
  	(%, I) $\to$ Partial %	Increment one variable
  incrementReplace:	(%, I, I) $\to$ (I, %)	Increment all and replace one variable
  principalProduct:	$\to$ %	$X_1 \wedge \dots \wedge X_n$
  replace:	(%, I, I) $\to$ (I, %)	Replace variable

• where

• I

  ==

  MachineInteger