head	1.1;
access
	thoth
	monica;
symbols;
locks
	monica:1.1; strict;
comment	@// @;


1.1
date	94.10.19.18.36.27;	author monica;	state Exp;
branches;
next	;


desc
@@


1.1
log
@Initial revision
@
text
@
	~a & a should be empty
a = <-1>a is extensive

	 ~a & a result: empty set ~a is extensive


	~a & a should be empty
a = <3>a is extensive

	 ~a & a result: empty set ~a is extensive


	~a & a should be empty
a = <-1>a is extensive

	 ~a & a result: empty set ~a is extensive


	~a & a should be empty
a = <1 3>a is extensive

	 ~a & a result: empty set ~a is extensive


	~a & a should be empty
a = <-1><0><1>a is extensive

	 ~a & a result: empty set ~a is extensive


	~a & a should be empty
a = <-1><0><1><2><3>a is extensive

	 ~a & a result: empty set ~a is extensive


	~a & a should be empty
a = <1><2><3>a is extensive

	 ~a & a result: empty set ~a is extensive


	~a & a should be empty
a = <1><2><3>a is extensive

	 ~a & a result: empty set ~a is extensive


	~a & a should be empty
a = <-3 -1><-3 0><-3 1><-3 2><-3 3><-2 -1><-2 0><-2 1><-2 2><-2 3><-1 -1><-1 0><-1 1><-1 2><-1 3><0 -1><0 0><0 1><0 2><0 3><1 -1><1 0><1 1><1 2><1 3>a is extensive

	 ~a & a result: empty set ~a is extensive


	~a & a should be empty
a = <-3 -2><-3 -1><-2 -2><-2 -1><-1 -2><-1 -1><0 -2><0 -1><1 -2><1 -1><2 -2><2 -1>a is extensive

	 ~a & a result: empty set ~a is extensive


	~a & a should be empty
a = <-3 -1><-3 0><-3 1><-3 2><-2 -1><-2 0><-2 1><-2 2>a is extensive

	 ~a & a result: empty set ~a is extensive


	~a & a should be empty
a = <1 -2><1 -1><1 0><1 1><1 2><1 3><2 -2><2 -1><2 0><2 1><2 2><2 3>a is extensive

	 ~a & a result: empty set ~a is extensive


	~a & a should be empty
a = <-2 2><-2 3><-1 2><-1 3><0 2><0 3><1 2><1 3>a is extensive

	 ~a & a result: empty set ~a is extensive

@
