Advanced Search

Question: Logic[Tautology] : differences of behaviour between versions 2015.0 and 2016.0

Question:Logic[Tautology] : differences of behaviour between versions 2015.0 and 2016.0

sand15 797 Maple 2016
July 25 2016
0

Hi everybody,

 

For at least one function (I haven’t done extensive testing), the package Logic behaves differently in Maple 2015.0 and maple 2016.0

 
Maple 2015.0 :
Logic:-Tautology(true);
       true

Maple 2016.0
Logic:-Tautology(true);
       Error, (in sprint) integer expected for integer format   ????     (??? are mine)

For information :
1)  Logic:-Contradiction(true) retruns false for both 2015.0 and 2016.0
2) OS : Windows 7
 

Is there some modification of the “Logic” package that  I have  missed ?

 

Thanks in advance
Please Wait...