Go backward to Definition Go up to Top Go forward to Numerator and Denominator

Constructor function

*/*: Z x Z> 0 -> Q

x/y := <sign(x *Z y) *Z (|x| divZ g), |y| divZ g>

where g = Z(gcd(N(x), N(y))).

Example:

• 10_Z/6_Z = <1_Z *_Z (10_Z div_Z 2_Z), 6_Z div_Z 2> = <5_Z, 3_Z>.
• -_Z10_Z/6_Z = <-_Z1_Z *_Z (10_Z div_Z 2_Z), 6_Z div_Z 2> = <-_Z5_Z, 3_Z>.
• -_Z10_Z/-_Z6_Z = <1_Z *_Z (10_Z div_Z 2_Z), 6_Z div_Z 2> = <5_Z, 3_Z>.