home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
OS/2 Shareware BBS: 10 Tools
/
10-Tools.zip
/
lifeos2.zip
/
LIFE-1.02
/
TESTS
/
IN
/
GAUSS.IN
< prev
next >
Wrap
Text File
|
1996-06-04
|
490b
|
31 lines
X=nvar,Z=nvar,Y=nvar?
% Problem with expand:
% fast_starter([4*(~12)+0*3*X+54+Y+4*Z-Y,X+Y-Z+4,Y+2,Y+2],Q)?
fast_starter([4*(~12)+54+Y+4*Z-Y,X+Y-Z+4,Y+2,Y+2],Q),gc?
W=nvar?
feeder((X+6*Y-2*W+Z),Q),gc?
create_vars([U,W,X,Y,Z])?
fast_starter([X+Y-Z,4*Y+Z,U-W-Z+8],Q),gc?
feeder(Z-W,Q),gc?
feeder(X+2,Q),gc?
create_vars([U,W,X,Y,Z])?
fast_starter([X+Y-Z,4*Y+Z,U-W-Z+8],Q),gc?
feeder(Z+W,Q),gc?
create_vars([U,W,X,Y,Z])?
fast_starter([X+Y-Z,4*Y+Z,U-W-Z+8],Q),gc?
feeder(X+2,Q),gc?