Ejemplos de Microsoft.Basetypes BigNum.Gcd en C# (CSharp)

Ejemplo n.º 1

 private Rational(BigNum num, BigNum den)
 {
     Contract.Assert(den.Signum > 0);
     Contract.Assert(num == BigNum.ZERO || num.Gcd(den) == BigNum.ONE);
     numerator   = num;
     denominator = den;
 }

Ejemplo n.º 2

Archivo: Rational.cs Proyecto: Chenguang-Zhu/ICE-C5

 private Rational(BigNum num, BigNum den)
 {
   Contract.Assert(den.Signum > 0);
   Contract.Assert(num == BigNum.ZERO || num.Gcd(den) == BigNum.ONE);
   numerator = num;
   denominator = den;
 }

Ejemplo n.º 3

Archivo: Rational.cs Proyecto: CrystalMei/boogie

        public static Rational FromBignums(BigNum num, BigNum den)
        {
            Contract.Assert(!den.IsZero);
            if (num == BigNum.ZERO)
            {
                return(ZERO);
            }
            if (den.Signum < 0)
            {
                den = -den;
                num = -num;
            }

            if (den == BigNum.ONE)
            {
                return(new Rational(num, den));
            }
            var gcd = num.Gcd(den);

            if (gcd == BigNum.ONE)
            {
                return(new Rational(num, den));
            }
            return(new Rational(num / gcd, den / gcd));
        }

Ejemplo n.º 4

Archivo: Rational.cs Proyecto: Chenguang-Zhu/ICE-C5

 public static Rational FromBignums(BigNum num, BigNum den) {
   Contract.Assert(!den.IsZero);
   if (num == BigNum.ZERO)
     return ZERO;
   if (den.Signum < 0) {
     den = -den;
     num = -num;
   }
   if (den == BigNum.ONE)
     return new Rational(num, den);
   var gcd = num.Gcd(den);
   if (gcd == BigNum.ONE)
     return new Rational(num, den);
   return new Rational(num / gcd, den / gcd);
 }