Mentions légales du service

Skip to content
  • MARCHE Claude's avatar
    Improved efficiency of shape and checksum computation · ae071502
    MARCHE Claude authored
    - most important improvement : the explanation, used as first part
      of the shape was computed twice ! (at least)
    - several improvements in the implementation, avoid using Format
      in particular (done also in checksum computations)
    - possible further improvements:
        do not compute shapes if checksums are OK
           (they must be the same as in previous session)
        do not compute goal checksums if theory checksum is OK
           (they must be the same as in previous session)
    ae071502