fp_all_drs: Return a list of all defining relationships
Description
Given two or more independent refining relationships, represented as one
side formulas,, this function returns a list of all possible defining
relationships, including the dependent ones.
Usage
fp_all_drs(...)
Value
a list of formulas.
Arguments
...
formulas, or a single list of formulas.
Details
Defining relationships are represented as one side formulas, e.g. $I=ABC$
becomes ~A*B*C.