Nuprl Definition : qrep

qrep(r) ==
  let r' ⟵ r
  in if isint(r')
  then <r', 1>
  else let p,q = r' 
       in let g,a,b = gcd_reduce(p;q) in 
          if 0 ≤z b then <a, b> else <-a, -b> fi 
  fi 


Definitions occuring in Statement :  gcd_reduce: gcd_reduce(p;q),  le_int: i ≤z j,  callbyvalueall: callbyvalueall,  ifthenelse: if b then t else f fi ,  bfalse: ff,  btrue: tt,  spreadn: spread3,  isint: isint def,  spread: spread def,  pair: <a, b>,  minus: -n,  natural_number: $n
Definitions occuring in definition :  callbyvalueall: callbyvalueall,  isint: isint def,  btrue: tt,  bfalse: ff,  spread: spread def,  spreadn: spread3,  gcd_reduce: gcd_reduce(p;q),  ifthenelse: if b then t else f fi ,  le_int: i ≤z j,  natural_number: $n,  pair: <a, b>,  minus: -n
FDL editor aliases :  qrep
Latex:
qrep(r)  ==
    let  r'  \mleftarrow{}{}  r
    in  if  isint(r')
    then  <r',  1>
    else  let  p,q  =  r' 
              in  let  g,a,b  =  gcd\_reduce(p;q)  in 
                    if  0  \mleq{}z  b  then  <a,  b>  else  <-a,  -b>  fi 
    fi 


Date html generated: 2016_05_15-PM-10_38_27
Last ObjectModification: 2015_09_23-AM-08_26_59

Theory : rationals


Home Index