From 1b9c772ffc21a71d146a093537d371d63be16c75 Mon Sep 17 00:00:00 2001 From: Vivien Maisonneuve Date: Tue, 1 Jul 2014 16:29:15 +0200 Subject: [PATCH 1/1] Add diamond example --- examples/diamond.py | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100755 examples/diamond.py diff --git a/examples/diamond.py b/examples/diamond.py new file mode 100755 index 0000000..148cdca --- /dev/null +++ b/examples/diamond.py @@ -0,0 +1,9 @@ +#!/usr/bin/env python3 + +from pypol import * + +x, y = symbols('x y') +diam = Ge(y, x - 1) & Le(y, x + 1) & Ge(y, -x - 1) & Le(y, -x + 1) +print('diamond:', diam) +print('projected on x:', diam.drop_dims('y')) + -- 2.20.1