ZZ

ZZ -- denotes the class of all integers. 

     i1 = 1234 + 4
     
     o1 = 1238
     
     i2 = basictype 1234
     
     o2 = ZZ
     
     o2 : Ring
     
     ZZ -- denotes the class of all integers.
Operations on integers:
  • gcdCoefficients
  • ZZ << ZZ
  • ZZ >> ZZ
  • ZZ & ZZ

    • Go to main index.

    Go to concepts index.