Changes between Initial Version and Version 2 of Ticket #24658


Ignore:
Timestamp:
02/05/18 08:00:39 (4 years ago)
Author:
rws
Comment:

New commits:

0a29d4024658: Don't call Maxima with no-variable symbolic relation tests

Legend:

Unmodified
Added
Removed
Modified
  • Ticket #24658

    • Property Status changed from new to needs_review
    • Property Commit changed from to 0a29d407464bbff73b3de64b2f4e2d4f90b6d8f4
    • Property Branch changed from to u/rws/don_t_call_maxima_with_no_variable_symbolic_relation_tests
  • Ticket #24658 – Description

    initial v2  
    1010}}}
    1111
    12 This ticket changes the procedure to no longer try the unreliable Maxima after RIF has failed in a relation without variables. It will just return Unknown.
     12This ticket changes the procedure to no longer try the unreliable Maxima after RIF has failed in a relation without variables. It will just return False.