 | 1 | initial version |
I am trying to write a program that proves that some set of inequalities is not compatible. I am trying to do this with Sage's Poset class. My idea is to create a basic poset, then gradually add relations, then finally check the number of linear extensions.
The only problem is: I didn't find a way to add relations to an existing Poset. How do I do this in Sage?
| | 2 | retagged |
I am trying to write a program that proves that some set of inequalities is not compatible. I am trying to do this with Sage's Poset class. My idea is to create a basic poset, then gradually add relations, then finally check the number of linear extensions.
The only problem is: I didn't find a way to add relations to an existing Poset. How do I do this in Sage?
Copyright Sage, 2010. Some rights reserved under creative commons license. Content on this site is licensed under a Creative Commons Attribution Share Alike 3.0 license.
