menu
fixed_z3 package
documentation
z3.dart
Rat
abs method
abs method
dark_mode
light_mode
abs
method
Rat
abs
(
)
Returns the absolute value of this
Rat
.
Implementation
Rat abs() { return Rat(n.abs(), d); }
fixed_z3 package
documentation
z3
Rat
abs method
Rat class