Changes between Version 2 and Version 3 of Symbolic Expressions


Ignore:
Timestamp:
02/12/10 22:41:25 (16 years ago)
Author:
Stephen Siegel
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Symbolic Expressions

    v2 v3  
    33Write here your thoughts on the new design of the symbolic module
    44
     5
     6Canonical Form: SExpression
     7
     8* AndExpression: set of OrSExpression
     9* OrSExpression: set of BasicSExpression:
     10* BasicSExpression: RelationalSExpression or PrimitiveSExpression or !PrimitiveSExpression
     11* RelationalSExpression
     12** e>0, e>=0, e=0, e!=0, where e is a PolynomialSExpression
     13* PrimitiveSExpression
     14** X, where X has boolean type
     15** a[e], where element type of a is boolean
     16** r.f, where r.f has boolean type