コード例 #1
0
ファイル: Transformer.cs プロジェクト: VitalyTVA/SharpAlg2
 Expr Sqrt(Expr e) {
     var @const = e.AsConst();
     if(@const != null && @const.Value == BigRational.Zero)
         return Expr.Zero;
     return builder.Sqrt(e);
 }
コード例 #2
0
ファイル: ExprPrinter.cs プロジェクト: VitalyTVA/SharpAlg2
 static bool IsMinusOne(Expr expr)
 {
     return expr.AsConst().If<BigRational>(x => x == BigInteger.MinusOne).ReturnSuccess();
 }