File: e127.zpl

package info (click to toggle)

zimpl 3.7.0%2Bds-2

file content (3 lines) | stat: -rw-r--r-- 106 bytes

1
2
3

# $Id: e127.zpl,v 1.5 2010/06/10 19:42:41 bzfkocht Exp $
set A := {1..5}*{1..5};
set B := proj(A, <"a">);