search

theref / sage-game-theory

7 stars 3 forks source link

Karl has found bugs in enumeration #95

Closed drvinceknight closed 10 years ago

drvinceknight commented 10 years ago

See http://trac.sagemath.org/ticket/16954#comment:35

Have created a new branch: https://github.com/theref/sage-game-theory/tree/fix_enumeration_for_pure

I have a hunch that it's the pruning so going to try and remove. Writing tests that will fail first of all.

drvinceknight commented 10 years ago

Found one error and it's almost fixed here: 9feae22f329e5e62caada2aeb69943624596f10f

Have added some tests that fail, they still fail in certain spots. Currently investigating whether or not they should fail or if I need to rewrite the tests.

drvinceknight commented 10 years ago

Have fixed enumeration (it was a neat bug): 140342cdb41feb5911da8710150939bc17501e7e

Now moving on to bug in lrs: I think it's something not right in the parser.

drvinceknight commented 10 years ago

This is now fixed and merged back in to 16954: c7e42b7618ee46f81443b626b4fc3b5aa8fb095a

Just working on weird issue of the PIPE docs thing.