def check_spaces_superscript1(): parse_wrap_check('m^2', Syntax.space_pint_unit) # ¹²³⁴⁵⁶⁷⁸⁹ parse_wrap_check('m¹', Syntax.space_pint_unit) parse_wrap_check('m²', Syntax.space_pint_unit) parse_wrap_check('m³', Syntax.space_pint_unit) parse_wrap_check('m⁴', Syntax.space_pint_unit) parse_wrap_check('m⁵', Syntax.space_pint_unit) parse_wrap_check('m⁶', Syntax.space_pint_unit) parse_wrap_check('m⁷', Syntax.space_pint_unit) parse_wrap_check('m⁸', Syntax.space_pint_unit) parse_wrap_check('m⁹', Syntax.space_pint_unit) eval_rvalue_as_constant('9.81 m/s²')
def check_sums4(): eval_rvalue_as_constant('int:2 + int:4 ')
def check_sums3(): eval_rvalue_as_constant('int:2 + nat:3')
def check_sums5(): eval_rvalue_as_constant('nat:3 + int:2')