Make R_cardExtensionalSet generate a normalized conditional expression

[GoogleCodeExporter]

*. R_cardExtensionalSet generates a normalized conditional expression:
You know are working with variables and constants only and therefore
that the answer is bounded to [number constants, number constants + number 
variables].

    no need to condition on equalities between constants.
    see if can normalize in a way that minimizes calls to R_simplify
    (note: still need to take contextual constraints into consideration and
    to check if variables equal each other or constants).
    want to try and determine if a shallow normalized conditional structures (i.e.
    conjunctions in the conditions) or deep conditional structures work better (i.e.
    test of each equality per condition).

Original issue reported on code.google.com by [email protected] on 11 Apr 2013 at 12:25