Changes

Jump to navigation Jump to search

Z3 Language Tests (view source)

Revision as of 16:39, 6 April 2016

3,807 bytes added ,  16:39, 6 April 2016
→‎Z3 and JS
Line 438: Line 438:     
test()
 
test()
 +
 +
 +
=More Commands and Programs to try=
 +
 +
test:=x!;
 +
 +
test(3);
 +
 +
// NEW
 +
 +
1..67..4@[SIN,COS] .graphin()
 +
 +
1..(160%19)@SIN
 +
 +
a=radpiby3;
 +
 +
c=a@SIN;
 +
 +
c.graphin()
 +
 +
//check
 +
 +
 +
deg222by3
 +
 +
rad2piby3
 +
 +
a=radpiby3 |*| 2
 +
 +
rad2piby3
 +
 +
radpiby3 |*| 2
 +
 +
a=radpiby3 |*| 3
 +
 +
 +
 +
//http://www.tribology-abc.com/calculators/default.htm
 +
//drag-drop calculate.
 +
 +
LOAD("loans")
 +
 +
LOAN(10000,12%,12)
 +
 +
LOAN(10000,12%3, 0)
 +
 +
 +
LOAD("loans")
 +
 +
LOAN(10000,12%,12).PAYMENTS()
 +
 +
 +
LOAD("countries")
 +
 +
COUNTRY(3..23)
 +
 +
LOAD("elements")
 +
 +
ELEMENT(3..23)
 +
 +
THINK "Jaipur"
 +
 +
 +
|10|.fillwith(10..1000) |*| 20
 +
 +
|4|.fillwith(34..200..3).$("2*x^3")
 +
 +
 +
a=radpiby4 |*| 28
 +
 +
a=|5||++||6|
 +
 +
CAL(6..11,2012)
 +
 +
 +
 +
["sunny"]<<<[[1..10]]
 +
 +
SIN(sunny)
 +
 +
 +
morethanthree:=u>3
 +
 +
1..10@morethanthree
 +
 +
 +
1..10|++|2..20
 +
 +
 +
mary=[SIN,COS,TAN]
 +
 +
1..10@mary
 +
 +
["divya"]<<<["SIN(x)+COS(x)+x^2"]
 +
 +
1..10@divya
 +
 +
 +
 +
["sunny","sneha"]<<<[[1..100],[500..1000]]
 +
 +
sunny
 +
 +
sneha
 +
 +
 +
 +
c=1..35@SIN .graphin()
 +
 +
d=1..100;
 +
 +
 +
[49,31,#].$(z^2)
 +
 +
vs.
 +
 +
[49,31,#].$("z^2")
 +
 +
 +
 +
a=#TABLE1!B1:B1*46
 +
 +
a=#TABLE1!B1*46 // has issues.
 +
 +
a=#TABLE1!B1:B1*462
 +
 +
a=#TABLE1!B1*462
 +
 +
a=(#1/1/2012-2/1/2012).length
 +
 +
|4|.fillwith(34..200..3).$("2*x^3")
 +
 +
 +
 +
 +
a=2..9|*|TRANSPOSE(2..9)
 +
 +
 +
 +
(2..3)~ for transpose.
 +
 +
a=2..9|*|(2..9)~; //for transpose.
 +
 +
((2..3)~)*34
 +
 +
(2..3)*~34
 +
 +
//~ for transpose.
 +
 +
 +
a=|3|
 +
 +
a~;
 +
 +
 +
 +
a=(#TABLE1!B1)~*46
 +
 +
 +
 +
 +
/* Showing intermediate output */
 +
 +
a=1..100;
 +
 +
OUTPUT(a);
 +
 +
 +
 +
a=1..25;
 +
 +
OUTPUT(a);
 +
 +
 +
b=SUM(a);
 +
 +
 +
[a,b]
 +
 +
 +
 +
Obi:=z^3;
 +
 +
d=FOR Obi 1..431;
 +
 +
SUM(d)
 +
 +
 +
 +
c8:=u+a*t
 +
 +
c8
 +
 +
 +
 +
SET(#TABLE1!B2:D5,1100);
 +
 +
// sets into calci such values
 +
 +
SET(#TABLE1!B2:D5,1..100);
 +
 +
 +
 +
 +
1..1100.chunks(3) did not parse.
 +
 +
SET(#TABLE1!B2:D5,54..100.chunks(2));
 +
 +
SET(#TABLE1!B2:D5,54..100.chunks(2)~);
 +
 +
 +
 +
 +
1..100.fillwith(1..10)
 +
 +
 +
1..1100.chunks(3)
 +
 +
 +
 +
2Space!zcontrol2
 +
 +
FOR "SUM(1..x)" 1...1000000000...100
 +
 +
 +
 +
b=|4|
 +
 +
b.fillwith(1..123);
 +
 +
SIN(1..34)
 +
 +
a=1..20;
 +
 +
a.fillwith(2..3);
 +
 +
 +
 +
 +
d=13;
 +
 +
SUM(d..10..-1)
 +
 +
 +
 +
b=1..100;
 +
 +
function Jay(x)
 +
 +
{
 +
 +
return(x+34)
 +
 +
}
 +
 +
1..100@Jay
 +
 +
 +
 +
a:=π*r^2;
 +
 +
 +
a=|3|;
 +
 +
α:=π*r^2;
 +
 +
α(39);
 +
 +
 +
 +
 +
Σ(1..100);
 +
 +
 +
r=1..100@"π*r^2";
 +
 +
 +
θ=1..5;
 +
 +
SIN(θ);
 +
 +
 +
 +
ctrl+g type greek name or unicode code and select and press ctrl+g to get the conversion into code.
 +
ctrl+u for uppercase greek etc.
 +
ctrl+space for hints.
 +
 +
 +
 +
sigma select ctrl+u gets Σ and then Σ(1..100).
 +
 +
 +
 +
മോോ=1..100;
 +
 +
ഐങ=2|*|മോോ
 +
 +
 +
 +
a="🍏🍎";
 +
 +
function x(n){return(REPEATCHAR(a,n))}
 +
 +
1..100@x
 +
 +
 +
 +
success="🍤";
 +
 +
1..100.map(()=>success);
 +
 +
 +
 +
ഒട്ടക൦=34;
 +
 +
ഒട്ടക൦=44+ഒട്ടക൦;
 +
 +
 +
 +
Yurttas:=SIN(c..30)
 +
 +
Yurttas(28)
 +
 +
 +
 +
(1..1000..100@["x^2",COS] .$(SIN))@SIN
 +
 +
 +
fx:=SERIESSTR("x*3*_x+",1..x).join("")
 +
 +
1..10@fx
 +
 +
 +
 +
 +
a=|3|;
 +
 +
(a).rotate(45)
 +
 +
 +
 +
function das(x)
 +
 +
{
 +
 +
var adi=3;
 +
 +
return(adi+x)
 +
 +
}
 +
 +
das(4);
 +
 +
 +
 +
function fact(x)
 +
 +
{
 +
 +
return(x<1?1:fact(x-1)*x)
 +
 +
}
 +
 +
fact(19)
 +
 +
 +
 +
তণ=0;
 +
 +
FOR 1..(তণ+4) SIN;
 +
 +
 +
 +
 +
v:=u+a*t;
 +
 +
ARRAYFY(v);
 +
 +
v(1..10,2..3,10..12);
 +
 +
 +
 +
//think of why this is not accurate.
 +
 +
// the matrix comes in incorrectly.
 +
 +
// Seems like it needs v:=u+a[0][0]*t;
 +
 +
 +
 +
v:=u[0]+a*t;
 +
 +
ARRAYFY(v,[0]);
 +
 +
v(1..10,2..3,10..12);
 +
 +
 +
 +
 +
BOTTOMN([[1,2],[3,4],[4,5]],1..2)
 +
 +
TOPN([[1,2],[3,4],[4,5]],1..2)
 +
 +
 +
 +
 +
VLOOKUP(5, [1..10]~, 1,TRUE)
 +
 +
// note ! is required to make it into a 2-D array. Any other tricks we could suggest?
 +
 +
VLOOKUP(21..26,|5|.fillwith(11..50), 1..5,FALSE)
 +
 +
 +
 +
 +
(1..10~)
 +
 +
(1..10)~ // this makes a 2D array to be more accurate.
 +
 +
(1..10)
 +
 +
 +
 +
 +
 +
VLOOKUP(21..26,|5|.fillwith(11..50), 1..5,FALSE)
 +
 +
 +
function x1(x){return(x+34)};x1(304)
 +
 +
 +
 +
 +
todo
 +
 +
 +
a=|4 2 3|
 +
 +
 +
// had issue with VariableExpression.
 +
 +
 +
// when do we var nowmark=Z3SetBookmark(); // when do we unset this?
 +
 +
SELECT * FROM A
Joseph
Administrators, writer
2,824

edits

Retrieved from "http://wiki.zcubes.com/Special:MobileDiff/203761"

Navigation menu