Changes

Jump to navigation Jump to search
2,865 bytes added ,  02:51, 4 June 2025
no edit summary
Line 268: Line 268:  
If the right side is a function, that function is applied over the generated series.
 
If the right side is a function, that function is applied over the generated series.
    +
====Generate array from number====
 +
1)
 
<pre>
 
<pre>
   
3# // 0 indexed
 
3# // 0 indexed
 +
</pre>
 +
Output:
 +
<pre>
 +
012
 +
</pre>
 +
====Generate range starting at number====
 +
1)
 +
<pre>
 
3#1 // 1..n
 
3#1 // 1..n
 +
</pre>
 +
Output:
 +
<pre>
 +
123
 +
</pre>
 +
2)
 +
<pre>
 
3#2 // start at 1
 
3#2 // start at 1
 +
</pre>
 +
Output:
 +
<pre>
 +
23
 +
</pre>
    +
====Generate array from variable====
 +
1)
 +
<pre>
 
n=10;
 
n=10;
 
n#
 
n#
 
+
</pre>
 +
Output:
 +
<pre>
 +
0123456789
 +
</pre>
 +
2)
 +
<pre>
 
n=10;
 
n=10;
 
n#1
 
n#1
 
+
</pre>
 +
Output:
 +
<pre>
 +
12345678910
 +
</pre>
 +
4)
 +
<pre>
 
10#[-2,1]
 
10#[-2,1]
 
+
</pre>
 +
Output:
 +
<pre>
 +
-2-1012345678910
 +
</pre>
 +
5)
 +
<pre>
 
10#[-2,2,100]
 
10#[-2,2,100]
 
+
</pre>
 +
Output:
 +
<pre>
 +
98 100 102 104 106 108 110
 +
</pre>
 +
6)
 +
<pre>
 
10#[-2,2,2]
 
10#[-2,2,2]
 +
</pre>
 +
Output:
 +
<pre>
 +
0 2 4 6 8 10 12
 +
</pre>
    +
====Custom steps with complex number====
 +
1)
 +
<pre>
 
n=10;
 
n=10;
 
(n#[1,2.3,23i])
 
(n#[1,2.3,23i])
 
+
</pre>
 +
Output:
 +
<pre>
 +
1+23ⅈ 3.3+23ⅈ 5.6+23ⅈ 7.8999999999999995+23ⅈ
 +
</pre>
 +
2)
 +
<pre>
 
n=10;
 
n=10;
 
n#[-3,2,34i]
 
n#[-3,2,34i]
 
+
</pre>
 +
Output:
 +
<pre>
 +
-3+34ⅈ -1+34ⅈ 1+34ⅈ 3+34ⅈ 5+34ⅈ 7+34ⅈ 9+34ⅈ
 +
</pre>
 +
3)
 +
<pre>
 
30#[1,1,2.3]
 
30#[1,1,2.3]
 
+
</pre>
 +
Output:
 +
<pre>
 +
3.3 4.3 5.3 6.3 7.3 8.3 9.3 10.3
 +
</pre>
 +
4)
 +
<pre>
 
n=10;
 
n=10;
 
n#[-3,2,34i]
 
n#[-3,2,34i]
 
+
</pre>
 +
Output:
 +
<pre>
 +
-3+34ⅈ -1+34ⅈ 1+34ⅈ 3+34ⅈ 5+34ⅈ 7+34ⅈ 9+34ⅈ
 +
</pre>
 +
5)
 +
<pre>
 
30#[0,1]
 
30#[0,1]
 
+
</pre>
 +
Output:
 +
<pre>
 +
0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29
 +
</pre>
 +
6)
 +
<pre>
 
10#[0,1,SQUARED]
 
10#[0,1,SQUARED]
 
+
</pre>
 +
Output:
 +
<pre>
 +
0 1 4 9 16 25 36 49 64 81
 +
</pre>
 +
7)
 +
<pre>
 
10#[1,1,SQUARED]
 
10#[1,1,SQUARED]
 
+
</pre>
 +
Output:
 +
<pre>
 +
1 4 9 16 25 36 49 64 81 100
 +
</pre>
 +
8)
 +
<pre>
 
10#[0,1,SQUARED]
 
10#[0,1,SQUARED]
 
+
</pre>
 +
Output:
 +
<pre>
 +
0 1 4 9 16 25 36 49 64 81
 +
</pre>
 +
====Nested hash====
 +
1)
 +
<pre>
 
10#[1,1,10#]
 
10#[1,1,10#]
 
+
</pre>
 +
Output:
 +
<pre>
 +
1 2 3 4 5 6 7 8 9 10
 +
2 3 4 5 6 7 8 9 10 11
 +
3 4 5 6 7 8 9 10 11 12
 +
4 5 6 7 8 9 10 11 12 13
 +
5 6 7 8 9 10 11 12 13 14
 +
6 7 8 9 10 11 12 13 14 15
 +
7 8 9 10 11 12 13 14 15 16
 +
8 9 10 11 12 13 14 15 16 17
 +
9 10 11 12 13 14 15 16 17 18
 +
10 11 12 13 14 15 16 17 18 19
 +
</pre>
 +
2)
 +
<pre>
 
10#[0,1,10#]
 
10#[0,1,10#]
 
+
</pre>
 +
Output:
 +
<pre>
 +
0 1 2 3 4 5 6 7 8 9
 +
1 2 3 4 5 6 7 8 9 10
 +
2 3 4 5 6 7 8 9 10 11
 +
3 4 5 6 7 8 9 10 11 12
 +
4 5 6 7 8 9 10 11 12 13
 +
5 6 7 8 9 10 11 12 13 14
 +
6 7 8 9 10 11 12 13 14 15
 +
7 8 9 10 11 12 13 14 15 16
 +
8 9 10 11 12 13 14 15 16 17
 +
9 10 11 12 13 14 15 16 17 18
 +
</pre>
 +
====Apply SIN to series====
 +
1)
 +
<pre>
 
10#[0,1,[SIN]]
 
10#[0,1,[SIN]]
 
+
</pre>
 +
Output:
 +
<pre>
 +
0.8414709848078965 0.9092974268256817 0.1411200080598672 -0.7568024953079282 -0.9589242746631385 -0.27941549819892586
 +
0.6569865987187891 0.9893582466233818 0.4121184852417566 -0.5440211108893698
 +
</pre>
 +
2)
 +
<pre>
 
10#[0,1,[SQUARED]]
 
10#[0,1,[SQUARED]]
 
+
</pre>
 +
Output:
 +
<pre>
 +
1 4 9 16 25 36 49 64 81 100
 +
</pre>
 +
3)
 +
<pre>
 
10#[0,1,[1,2,-1,-2,SQUARED]]
 
10#[0,1,[1,2,-1,-2,SQUARED]]
 
+
</pre>
 +
Output:
 +
<pre>
 +
1 2 -1 -2 1
 +
2 3 0 -1 4
 +
3 4 1 0 9
 +
4 5 2 1 16
 +
5 6 3 2 25
 +
6 7 4 3 36
 +
7 8 5 4 49
 +
8 9 6 5 64
 +
9 10 7 6 81
 +
10 11 8 7 100
 +
</pre>
 +
====Generate negative imaginary series====
 +
1)
 +
<pre>
 
10#-1i
 
10#-1i
 
+
</pre>
 +
Output:
 +
<pre>
 +
0-1ⅈ 1-1ⅈ 2-1ⅈ 3-1ⅈ 4-1ⅈ 5-1ⅈ 6-1ⅈ 7-1ⅈ 8-1ⅈ 9-1ⅈ
 +
</pre>
 +
2)
 +
<pre>
 
10#SIN
 
10#SIN
 
+
</pre>
 +
Output:
 +
<pre>
 +
0 0.8414709848078965 0.9092974268256817 0.1411200080598672 -0.7568024953079282 -0.9589242746631385 -0.27941549819892586 0.6569865987187891 0.9893582466233818 0.4121184852417566 -0.5440211108893698
 +
</pre>
 +
3)
 +
<pre>
 
10#"mm"
 
10#"mm"
 
+
</pre>
 +
Output:
 +
<pre>
 
Z3EVAL((10#"mm")
 
Z3EVAL((10#"mm")
 
.print())<>cm
 
.print())<>cm
+
</pre>
Z3EVAL((10#"mm")
+
Output:
.print())<>cm
+
<pre>
 
+
VALUE 0cm 0.1cm 0.2cm 0.30000000000000004cm 0.4cm 0.5cm 0.6000000000000001cm 0.7000000000000001cm 0.8cm 0.9cm 1cm
10#"3"
+
</pre>
+
====Convert numbers to string====
 +
1)
 +
<pre>
 +
10#"3"
 +
</pre>
 +
Output:
 +
<pre>
 +
03 13 23 33 43 53 63 73 83 93 103
 
</pre>
 
</pre>
  
writer
65

edits

Navigation menu