Changes between Initial Version and Version 3 of Ticket #4354


Ignore:
Timestamp:
2017-09-09T11:50:03Z (7 years ago)
Author:
Francesco Casella
Comment:

Legend:

Unmodified
Added
Removed
Modified

  • Ticket #4354 – Description

    initial v3  
    6565  <lhs> = <rhs>
    6666they are transformed into a pair of Real equations
    67   <lhs.r1> = <rhs.r2>
    68   <lhs.r1> = <rhs.r2>
     67  <lhs.r1> = <rhs.r1>
     68  <lhs.r2> = <rhs.r2>
    6969instead of introducing auxiliary variables of any kind.
    7070