Add methods Domain.subs(), Polyhedron.subs()

[linpy.git] / examples / squares.py

diff --git a/examples/squares.py b/examples/squares.py
index 0df8b4b..4389d87 100755 (executable)
--- a/examples/squares.py
+++ b/examples/squares.py
@@ -55,7 +55,7 @@ print()
 print('lexographic min of sq2:', sq2.lexmin()) #test lexmax()
 print('lexographic max of sq2:', sq2.lexmax()) #test lexmax()
 print()
 print('lexographic min of sq2:', sq2.lexmin()) #test lexmax()
 print('lexographic max of sq2:', sq2.lexmax()) #test lexmax()
 print()

-print('Polyhedral hull of sq1 + sq2 is:', q.polyhedral_hull()) #test polyhedral hull
+print('Polyhedral hull of sq1 + sq2 is:', q.aspolyhedron()) #test polyhedral hull

 print()
 print('is sq1 bounded?', sq1.isbounded()) #unbounded should return True
 print('is sq5 bounded?', sq5.isbounded()) #unbounded should return False
 print()
 print('is sq1 bounded?', sq1.isbounded()) #unbounded should return True
 print('is sq5 bounded?', sq5.isbounded()) #unbounded should return False


@@ -63,8 +63,8 @@ print()
 print('sq6:', sq6)
 print('sq6 simplified:', sq6.sample())
 print()
 print('sq6:', sq6)
 print('sq6 simplified:', sq6.sample())
 print()

-print(universe.project_out([x]))
-print('sq7 with out constraints involving y and a', sq7.project_out([a, z, x, y])) #drops dims that are passed
+print(universe.project([x]))
+print('sq7 with out constraints involving y and a', sq7.project([a, z, x, y])) #drops dims that are passed

 print()
 print('sq1 has {} parameters'.format(sq1.num_parameters()))
 print()
 print()
 print('sq1 has {} parameters'.format(sq1.num_parameters()))
 print()