• John Clemens's avatar
    Fixups to handle different node types · 115c7859
    John Clemens authored
    - use '!=' instead of 'is not' for testing nodes in check_lemma4().
      This meant check_lemma4 only worked for integer nodes.  Oops.
    - More complete check for face equivalence.
    115c7859
openpg.py 15 KB