FilteredProduct Properties 
The FilteredProduct type exposes the following members.
Name  Description  

FixedVariables 
Gets the enumeration of fixed variables in the algebra i.e. variables that are guaranteed to have a bound value.
 
FloatingVariables 
Gets the enumeration of floating variables in the algebra i.e. variables that are not guaranteed to have a bound value.
 
Lhs 
Gets the LHS Algebra.
 
Rhs 
Gets the RHS Algebra.
 
Variables 
Gets the Variables used in the Algebra.
