Nuprl Definition : qmul

==
  let r' ⟵ r
  in let s' ⟵ s
     in if isint(r')
     then if isint(s') then r' s' else let i,j s' in <r' i, j> fi 
     else let p,q r' 
          in if isint(s') then <s', q> else let i,j s' in <i, j> fi 
     fi 



Definitions occuring in Statement :  callbyvalueall: callbyvalueall ifthenelse: if then else fi  bfalse: ff btrue: tt isint: isint def spread: spread def pair: <a, b> multiply: m
Definitions occuring in definition :  callbyvalueall: callbyvalueall ifthenelse: if then else fi  isint: isint def btrue: tt bfalse: ff spread: spread def pair: <a, b> multiply: m
FDL editor aliases :  qmul

Latex:
r  *  s  ==
    let  r'  \mleftarrow{}{}  r
    in  let  s'  \mleftarrow{}{}  s
          in  if  isint(r')
          then  if  isint(s')  then  r'  *  s'  else  let  i,j  =  s'  in  <r'  *  i,  j>  fi 
          else  let  p,q  =  r' 
                    in  if  isint(s')  then  <p  *  s',  q>  else  let  i,j  =  s'  in  <p  *  i,  q  *  j>  fi 
          fi 



Date html generated: 2016_05_15-PM-10_37_40
Last ObjectModification: 2015_09_23-AM-08_26_53

Theory : rationals


Home Index