core_marking3/postfix_test4.scala
author Christian Urban <christian.urban@kcl.ac.uk>
Thu, 08 Dec 2022 21:28:33 +0000
changeset 453 08cd972b219f
parent 424 daf561a83ba6
permissions -rw-r--r--
updated
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
424
Christian Urban <christian.urban@kcl.ac.uk>
parents: 386
diff changeset
     1
import C3b._
384
6e1237691307 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     2
6e1237691307 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     3
6e1237691307 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     4
assert(compute(syard(split("3 + 4 * ( 2 - 1 )"))) == 7)
6e1237691307 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     5
assert(compute(syard(split("10 + 12 * 33"))) == 406)
6e1237691307 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     6
assert(compute(syard(split("( 5 + 7 ) * 2"))) == 24)
6e1237691307 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     7
assert(compute(syard(split("5 + 7 / 2"))) == 8)
6e1237691307 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     8
assert(compute(syard(split("5 * 7 / 2"))) == 17)
6e1237691307 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
     9
assert(compute(syard(split("9 + 24 / ( 7 - 3 )"))) == 15)
6e1237691307 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    10
assert(compute(syard(split("4 ^ 3 ^ 2"))) == 262144)
6e1237691307 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    11
assert(compute(syard(split("4 ^ ( 3 ^ 2 )"))) == 262144)
6e1237691307 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    12
assert(compute(syard(split("( 4 ^ 3 ) ^ 2"))) == 4096)
6e1237691307 updated
Christian Urban <christian.urban@kcl.ac.uk>
parents:
diff changeset
    13
assert(compute(syard(split("( 3 + 1 ) ^ 2 ^ 3"))) == 65536)