Rascal

Preview onto version 0.3.4

SourceForge Logo Here you can do some experiments with Rascal. The computation time is restricted to about 10 secs to prevent high load on server. Have a look at the documentation or at the examples. If you see wrong plots reload may help. You job is cancelled as soon someone else accesses this page, so consider a local installation.
Rascal-toolbox-0.3.4 (C) 2001,2002 Sebastian Ritterbusch

Enter 'help' for help or 'licence' for information about licence and warranty.

 "rascal.rc loaded, predefined e, i, pi"
>"The Ratschek-Operator determines if A*X=B is solvable in IR.";
>Precision(1,-8);
>
>Xi(A)=abs(inf(A))<=abs(sup(A))?inf(A)/sup(A):sup(A)/inf(A);
>
>A=[4,8];B=[1,4];C=[-1,2];D=[-3,6];
>
>[Xi(A) Xi(B) Xi(C) Xi(D)]
 [0.5 0.25 -0.5 -0.5]
>
>"So there exist unique X from A to B to C and many from C to D and D to C";
>"as Xi(C)=Xi(D)<=0, but none from D or C to B or A, or from B to A."
 "as Xi(C)=Xi(D)<=0, but none from D or C to B or A, or from B to A."
>
>[A*[1/4,1/2] B]
 [[1,4] [1,4]]
>[B*[-1/4,1/2] C]
 [[-1,2] [-1,2]]
>[C*[-3/2,3] D]
 [[-3,6] [-3,6]]
>[C*[0,3] D]
 [[-3,6] [-3,6]]
>[D/3 C]
 [[-1,2] [-1,2]]
>
>"Compare the algebraic results to computed enclosures of B/A and C/B:";
>[B/A [1/4,1/2];C/B [-1/4,1/2]]
 [[0.125,1.000] [0.25,0.50];[-1,2] [-0.25,0.50]]
>"The computed intervals enclose the algebraic solutions, but have also";
>"a different interpretation.";
>


Questions, Problems, Bugs? Please use this form.