#33 Redlog - True - False - algebraic

None
closed
Thomas Sturm
None
5
2013-02-04
2012-03-24
No

There is a problem with the logical connectives in Redlog (or in the undelying Reduce).
When using logical connectives with a formula variable that holds value "true" or holds value "false"
fails with a message
"and invalid as algebraic operator"
"or invalid as algebraic operator"

Characteristics:
- If you use the literal "true" or "false" in operation, there is no error.
- If the variable that holds "true" or "false" is at the right hand side, there is no error
- Error appears only with connectives "and" "or". It does not appear with "impl" "equiv" "repl".

Attach simple, fairly exhaustive, maybe redundant, test suite file.

Discussion

  •  
    Attachments
  • The bug also appears with quantifiers.
    Attach extended example.

     
  • Thomas Sturm
    Thomas Sturm
    2013-02-01

    • assigned_to: Thomas Sturm
    • milestone: -->
     
  • Thomas Sturm
    Thomas Sturm
    2013-02-04

    • status: open --> closed
     
  • Thomas Sturm
    Thomas Sturm
    2013-02-04

    Fixed.