Beispiel #1
0
def check_nat_power():
    eval_rvalue_as_constant_same_exactly('3 ^ 2', 'Nat: 9')
Beispiel #2
0
def check_nat_power_frac():
    eval_rvalue_as_constant_same_exactly('9 ^ (1/2)', 'Rcomp: 3.0')
Beispiel #3
0
def check_nat_power_frac():
    eval_rvalue_as_constant_same_exactly('9 ^ (1/2)', 'Rcomp: 3.0')
Beispiel #4
0
def check_mult_mixed_new_syntax():
    eval_rvalue_as_constant_same_exactly('3 * 2', 'Nat: 6')
    eval_rvalue_as_constant_same_exactly('3 * 2.0', 'Rcomp: 6.0')
    eval_rvalue_as_constant_same_exactly('3 * 2 g', '6 g')
    eval_rvalue_as_constant_same_exactly('3.0 * 2 g', '6 g')
    eval_rvalue_as_constant_same_exactly('3.0 * 2.0', 'Rcomp: 6.0')
    eval_rvalue_as_constant_same_exactly('3 * 10.0', 'Rcomp: 30.0')
    eval_rvalue_as_constant_same_exactly('3 * 10.0 * 1 g', '30 g')
Beispiel #5
0
def check_nat_power():
    eval_rvalue_as_constant_same_exactly('3 ^ 2', 'Nat: 9')
Beispiel #6
0
def check_add_mixed_new_syntax():
    eval_rvalue_as_constant_same_exactly('3 + 2', 'Nat: 5')
    eval_rvalue_as_constant_same_exactly('3 + 2.0', 'Rcomp: 5.0')
Beispiel #7
0
def check_mult_mixed1():
    eval_rvalue_as_constant_same_exactly('Nat:3 * Nat:2', 'Nat:6')
    eval_rvalue_as_constant_same_exactly('Nat:3 * 2 []', '6 []')
    eval_rvalue_as_constant_same_exactly('Nat:3 * 2 g', '6 g')
    eval_rvalue_as_constant_same_exactly('3 [] * 2 g', '6 g')
    eval_rvalue_as_constant_same_exactly('3 [] * 2 []', '6 []')
    eval_rvalue_as_constant_same_exactly('Nat:3 * 10 []', '30 []')
    eval_rvalue_as_constant_same_exactly('Nat:3 * 10 kg', '30 kg')
Beispiel #8
0
def check_mult_mixed_new_syntax():
    eval_rvalue_as_constant_same_exactly('3 * 2', 'Nat: 6')
    eval_rvalue_as_constant_same_exactly('3 * 2.0', 'Rcomp: 6.0')
    eval_rvalue_as_constant_same_exactly('3 * 2 g', '6 g')
    eval_rvalue_as_constant_same_exactly('3.0 * 2 g', '6 g')
    eval_rvalue_as_constant_same_exactly('3.0 * 2.0', 'Rcomp: 6.0')
    eval_rvalue_as_constant_same_exactly('3 * 10.0', 'Rcomp: 30.0')
    eval_rvalue_as_constant_same_exactly('3 * 10.0 * 1 g', '30 g')
Beispiel #9
0
def check_add_mixed_new_syntax():
    eval_rvalue_as_constant_same_exactly('3 + 2', 'Nat: 5')
    eval_rvalue_as_constant_same_exactly('3 + 2.0', 'Rcomp: 5.0')
Beispiel #10
0
def check_mult_mixed1():
    eval_rvalue_as_constant_same_exactly('Nat:3 * Nat:2', 'Nat:6')
    eval_rvalue_as_constant_same_exactly('Nat:3 * 2 []', '6 []')
    eval_rvalue_as_constant_same_exactly('Nat:3 * 2 g', '6 g')
    eval_rvalue_as_constant_same_exactly('3 [] * 2 g', '6 g')
    eval_rvalue_as_constant_same_exactly('3 [] * 2 []', '6 []')
    eval_rvalue_as_constant_same_exactly('Nat:3 * 10 []', '30 []')
    eval_rvalue_as_constant_same_exactly('Nat:3 * 10 kg', '30 kg')