/dports/math/yacas/yacas-1.9.1/tests/ |
H A D | simplify.yts | 2 /* Test Simplify() */ 3 NextTest("Simplify"); 5 TestYacas( Simplify((x+y)*(x-y)-(x+y)^2), -2*y^2-2*x*y ); 6 TestYacas( Simplify(1+x+x+3*y-4*(x+y+2)), -2*x-y-7 ); 7 TestYacas( Simplify((1+I)^4), -4 ); 8 TestYacas( Simplify((x-y)/(x*y)), 1/y-1/x ); 15 TestYacas( Simplify(1),1); 16 TestYacas( Simplify(1/x ), 1/x ); 17 TestYacas( Simplify( 1/(1/x+1) ),x/(x+1) ); 23 TestYacas( Simplify(x^2*(1/x)^2+1), 2 ); [all …]
|
/dports/biology/hyphy/hyphy-2.5.33/tests/hbltests/UnitTests/HBLCommands/ |
H A D | Simplify.bf | 6 return "Simplify"; 20 ten = Simplify("zero+one+2+3+four", {"zero": 0, "one":1, "four": 4}); 21 assert(ten == "10", "Failed to perform a Simplify on a mathematical expression as expected"); 24 spanglishTen = Simplify("zero+one+2+3+quatro", {"zero": 0, "one":1, "four": 4}); 25 …assert(spanglishTen == "6+quatro", "Failed to perform a Simplify on a mathematical expression as e… 28 tenLastArg = Simplify("zero+one+2+3+four", {"zero": 0, "one":1, "four": 100, "four": 4}); 29 …assert(tenLastArg == "10", "Failed to perform a Simplify on a mathematical expression as expected"… 39 …Simplify(list1, {'val1': 'newVal1'});", "Operation 'Simplify' is not implemented/defined for a Ass… 40 …("Simplify(T1, {'val1': 'newVal1'});", "Operation 'Simplify' is not implemented/defined for a Topo… 41 …s ("Simplify(TT1, {'val1': 'newVal1'});", "Operation 'Simplify' is not implemented/defined for a T… [all …]
|
/dports/math/yacas/yacas-1.9.1/scripts/simplify.rep/ |
H A D | code.ys | 3 10 # Simplify(expr_IsList) <-- MapSingle("Simplify",expr); 5 15 # Simplify(Complex(_r,_i)) <-- Complex(Simplify(r),Simplify(i)); 7 20 # Simplify((_xex) == (_yex)) <-- (Simplify(xex-yex) == 0); 9 20 # Simplify((_xex) > (_yex)) <-- (Simplify(xex-yex) > 0); 10 20 # Simplify((_xex) < (_yex)) <-- (Simplify(xex-yex) < 0); 11 20 # Simplify((_xex) >= (_yex)) <-- (Simplify(xex-yex) >= 0); 12 20 # Simplify((_xex) <= (_yex)) <-- (Simplify(xex-yex) <= 0); 13 20 # Simplify((_xex) !== (_yex)) <-- (Simplify(xex-yex) !== 0); 16 25 # Simplify(if (_a) _b) <-- "if" @ {Simplify(a), Simplify(b)}; 17 25 # Simplify(_a else _b) <-- "else" @ {Simplify(a), Simplify(b)}; [all …]
|
H A D | factorial.ys | 51 10 # CommonDivisors(_x^(_n),_x) <-- {x^Simplify(n-1),1,x}; 52 10 # CommonDivisors(_x,_x^(_m)) <-- {x^Simplify(1-m),1,x^m}; 58 10 # CommonDivisors((_x)!, (_y)!)_IsInteger(Simplify(x-y)) <-- CommonFact(Simplify(x-y),y); 61 10 # CommonDivisors((_x)! ^ _m, (_y)! ^ _m)_IsInteger(Simplify(x-y)) <-- CommonFact(Simplify(x-y),… 64 <-- {1,Product(i,1,-dist,Simplify(y+i+dist)),Simplify(y+dist)!}; 66 <-- {Product(i,1,dist,Simplify(y+i)),1,Simplify(y)!}; 72 10 # CommonFactors(_x^_n,_x^_m) <-- {x^Simplify(n+m),1}; 73 10 # CommonFactors(_x^_n,_x) <-- {x^Simplify(n+1),1}; 92 (n/d)*Simplify((numerTerms)/(denomTerms)); 220 Check(Simplify(c-common) = 0, [all …]
|
/dports/math/yacas/yacas-1.9.1/scripts/examples/ |
H A D | benchmark2.ys | 23 BenchShow(Simplify(Integrate(x,-Pi,Pi) (Sin(x)*Sin(2*x)) )); 24 BenchShow(Simplify(Integrate(x,-Pi,Pi) (Sin(2*x)*Sin(2*x)) )); 25 BenchShow(Simplify(Integrate(x,-Pi,Pi) (Sin(5*x)*Sin(5*x)) )); 27 BenchShow(Simplify(Integrate(x,-Pi,Pi) (Cos(x)*Cos(2*x)) )); 28 BenchShow(Simplify(Integrate(x,-Pi,Pi) (Cos(2*x)*Cos(2*x)) )); 29 BenchShow(Simplify(Integrate(x,-Pi,Pi) (Cos(5*x)*Cos(5*x)) )); 31 BenchShow(Simplify(Integrate(x,-Pi,Pi) (Sin(x)*Cos(2*x)) )); 32 BenchShow(Simplify(Integrate(x,-Pi,Pi) (Sin(2*x)*Cos(2*x)) )); 48 BenchCall(PrettyForm(Simplify(res))); 49 BenchCall(PrettyForm(Simplify(res/f))); [all …]
|
H A D | benchmark.ys | 45 DoNext("Simplify sqrt(2*sqrt(3)+4)."); 51 DoNext("Simplify 2*infinity-3."); 63 DoNext("Simplify sqrt(997) - (997^3)^(1/6)."); 66 DoNext("Simplify sqrt(999983) - (999983^3)^(1/6)."); 73 DoNext("Simplify log e^z into z only for -Pi < Im(z) <= Pi."); 74 BenchShow(Simplify(Ln(Exp(z)))); 79 BenchShow(TableForm(Simplify(ans))); 103 BenchCall(ans:=Simplify(ans)); 108 BenchShow(PrettyForm(Simplify(ans))); 189 DoNext("Simplify x or (not x)"); [all …]
|
/dports/www/qt5-webengine/qtwebengine-everywhere-src-5.15.2/src/3rdparty/chromium/printing/ |
H A D | printing_utils_unittest.cc | 24 std::string Simplify(const std::string& title) { in Simplify() function 37 EXPECT_EQ("", Simplify("")); in TEST() 38 EXPECT_EQ("abcdefgh", Simplify("abcdefgh")); in TEST() 39 EXPECT_EQ("abc...ij", Simplify("abcdefghij")); in TEST() 40 EXPECT_EQ("Controls", Simplify("C\ron\nt\15rols")); in TEST() 41 EXPECT_EQ("C__foo_", Simplify("C:\\foo\\")); in TEST() 42 EXPECT_EQ("C__foo_", Simplify("C:/foo/")); in TEST() 43 EXPECT_EQ("a_b_c", Simplify("a<b\"c")); in TEST() 44 EXPECT_EQ("d_e_f_", Simplify("d*e?f~")); in TEST() 45 EXPECT_EQ("", Simplify("\n\r\n\r\t\r")); in TEST()
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/printing/ |
H A D | printing_utils_unittest.cc | 24 std::string Simplify(const std::string& title) { in Simplify() function 37 EXPECT_EQ("", Simplify("")); in TEST() 38 EXPECT_EQ("abcdefgh", Simplify("abcdefgh")); in TEST() 39 EXPECT_EQ("abc...ij", Simplify("abcdefghij")); in TEST() 40 EXPECT_EQ("Controls", Simplify("C\ron\nt\15rols")); in TEST() 41 EXPECT_EQ("C__foo_", Simplify("C:\\foo\\")); in TEST() 42 EXPECT_EQ("C__foo_", Simplify("C:/foo/")); in TEST() 43 EXPECT_EQ("a_b_c", Simplify("a<b\"c")); in TEST() 44 EXPECT_EQ("d_e_f_", Simplify("d*e?f~")); in TEST() 45 EXPECT_EQ("", Simplify("\n\r\n\r\t\r")); in TEST()
|
/dports/databases/xtrabackup8/percona-xtrabackup-8.0.14/sql/gis/ |
H A D | simplify.cc | 47 std::unique_ptr<Geometry> Simplify::operator()(const Geometry &g) const { in operator ()() 51 std::unique_ptr<Geometry> Simplify::eval(const Geometry &g) const { in eval() 57 std::unique_ptr<Geometry> Simplify::eval(const Cartesian_point &g) const { in eval() 64 std::unique_ptr<Geometry> Simplify::eval(const Cartesian_linestring &g) const { in eval() 72 std::unique_ptr<Geometry> Simplify::eval(const Cartesian_polygon &g) const { in eval() 81 std::unique_ptr<Geometry> Simplify::eval( in eval() 92 std::unique_ptr<Geometry> Simplify::eval(const Cartesian_multipoint &g) const { in eval() 99 std::unique_ptr<Geometry> Simplify::eval( in eval() 114 std::unique_ptr<Geometry> Simplify::eval( in eval() 149 Simplify simplify_func(max_distance); in simplify()
|
/dports/lang/halide/Halide-release_2019_08_27-2654-g664dc4993/src/ |
H A D | Simplify.cpp | 19 int Simplify::debug_indent = 0; 22 Simplify::Simplify(bool r, const Scope<Interval> *bi, const Scope<ModulusRemainder> *ai) in Simplify() function in Halide::Internal::Simplify 109 Simplify::VarInfo info; in learn_false() 124 Simplify::ExprInfo i; in learn_false() 142 Simplify::ExprInfo i; in learn_false() 192 Simplify::VarInfo info; in learn_true() 229 Simplify::ExprInfo expr_info; in learn_true() 240 Simplify::ExprInfo expr_info; in learn_true() 253 Simplify::ExprInfo i; in learn_true() 271 Simplify::ExprInfo i; in learn_true() [all …]
|
/dports/misc/mxnet/incubator-mxnet-1.9.0/3rdparty/tvm/src/arith/ |
H A D | int_constraints.cc | 89 upper.push_back(analyzer.Simplify(r->min + r->extent - 1)); in FromRange() 101 equal.push_back(analyzer.Simplify(r->min * coef)); in operator +() 103 lower.push_back(analyzer.Simplify(r->min * coef)); in operator +() 104 upper.push_back(analyzer.Simplify((r->min + r->extent - 1) * coef)); in operator +() 142 return Range(analyzer.Simplify(lowers[0]), analyzer.Simplify(uppers[0] + 1)); in FindBestRange() 156 PrimExpr diff_1 = analyzer.Simplify(floordiv(upp - low, coef), 3); in FindBestRange() 158 PrimExpr diff_over_1 = analyzer.Simplify(EvalSet(diff_1, var_intsets).max(), 3); in FindBestRange() 162 PrimExpr low_divided = analyzer.Simplify(floordiv(low + coef - 1, coef), 3); in FindBestRange() 165 PrimExpr diff_2 = analyzer.Simplify(floordiv(upp, coef) - low_divided, 3); in FindBestRange() 166 PrimExpr diff_over_2 = analyzer.Simplify(EvalSet(diff_2, var_intsets).max(), 3); in FindBestRange() [all …]
|
/dports/misc/tvm/incubator-tvm-0.6.1/tests/python/unittest/ |
H A D | test_arith_detect_linear_equation.py | 24 assert tvm.ir_pass.Simplify(m[1] - (b * 6 + 7)).value == 0 31 assert tvm.ir_pass.Simplify(m[1] - (b * 6 + 7 + 1)).value == 0 41 assert tvm.ir_pass.Simplify(m[0] - b * 7).value == 0 47 assert(tvm.ir_pass.Equal(tvm.ir_pass.Simplify(m[0]), b + 5)) 63 assert(tvm.ir_pass.Simplify(m[1] - (v[0] - v[1])).value == 0) 67 assert(tvm.ir_pass.Simplify(m[0] - (v[0] - v[1])).value == 0)
|
H A D | test_arith_deduce_bound.py | 21 res = tvm.ir_pass.Simplify(a - b) 85 assert str(tvm.ir_pass.Simplify(res3.min_value)) == str(ans3) 88 assert str(tvm.ir_pass.Simplify(res3.min_value)) == str(ans3) 160 assert (tvm.ir_pass.Simplify((x * coff + 3 + y) < 17)).value == 1 165 assert (tvm.ir_pass.Simplify((x * coff + 3 + y) > 17)).value == 1 170 assert (tvm.ir_pass.Simplify((x * coff + 3 + y) <= 17)).value == 1 174 assert (tvm.ir_pass.Simplify((x * coff + 3 + y) >= 17)).value == 1 192 assert (tvm.ir_pass.Simplify(((x*3 + t* coff) * 4) < 63)).value == 1 197 assert (tvm.ir_pass.Simplify(((x*3 + t* coff) * 4) <= 63)).value == 1 201 assert (tvm.ir_pass.Simplify(((x*3 + t* coff) * 4) > 63)).value == 1 [all …]
|
/dports/misc/py-tvm/incubator-tvm-0.6.1/tests/python/unittest/ |
H A D | test_arith_detect_linear_equation.py | 24 assert tvm.ir_pass.Simplify(m[1] - (b * 6 + 7)).value == 0 31 assert tvm.ir_pass.Simplify(m[1] - (b * 6 + 7 + 1)).value == 0 41 assert tvm.ir_pass.Simplify(m[0] - b * 7).value == 0 47 assert(tvm.ir_pass.Equal(tvm.ir_pass.Simplify(m[0]), b + 5)) 63 assert(tvm.ir_pass.Simplify(m[1] - (v[0] - v[1])).value == 0) 67 assert(tvm.ir_pass.Simplify(m[0] - (v[0] - v[1])).value == 0)
|
H A D | test_arith_deduce_bound.py | 21 res = tvm.ir_pass.Simplify(a - b) 85 assert str(tvm.ir_pass.Simplify(res3.min_value)) == str(ans3) 88 assert str(tvm.ir_pass.Simplify(res3.min_value)) == str(ans3) 160 assert (tvm.ir_pass.Simplify((x * coff + 3 + y) < 17)).value == 1 165 assert (tvm.ir_pass.Simplify((x * coff + 3 + y) > 17)).value == 1 170 assert (tvm.ir_pass.Simplify((x * coff + 3 + y) <= 17)).value == 1 174 assert (tvm.ir_pass.Simplify((x * coff + 3 + y) >= 17)).value == 1 192 assert (tvm.ir_pass.Simplify(((x*3 + t* coff) * 4) < 63)).value == 1 197 assert (tvm.ir_pass.Simplify(((x*3 + t* coff) * 4) <= 63)).value == 1 201 assert (tvm.ir_pass.Simplify(((x*3 + t* coff) * 4) > 63)).value == 1 [all …]
|
/dports/games/libretro-paralleln64/parallel-n64-6e26fbb/gles2rice/src/ |
H A D | OGLDecodedMux.cpp | 24 void COGLDecodedMux::Simplify(void) in Simplify() function in COGLDecodedMux 26 DecodedMux::Simplify(); in Simplify() 37 void COGLExtDecodedMux::Simplify(void) in Simplify() function in COGLExtDecodedMux 40 COGLDecodedMux::Simplify(); in Simplify()
|
/dports/misc/py-tvm/incubator-tvm-0.6.1/src/arithmetic/ |
H A D | stmt_simplify.cc | 47 return analyzer_->Simplify(expr); in Mutate() 50 Stmt Simplify(Stmt stmt) { in Simplify() function in tvm::arith::StmtSimplifier 101 return arith::StmtSimplifier(&analyzer).Simplify(stmt); in CanonicalSimplify() 112 Expr Simplify(Expr expr, Map<Var, Range> vrange) { in Simplify() function 117 expr = analyzer.Simplify(expr); in Simplify() 121 Stmt Simplify(Stmt stmt, Map<Var, Range> vrange) { in Simplify() function
|
/dports/misc/tvm/incubator-tvm-0.6.1/src/arithmetic/ |
H A D | stmt_simplify.cc | 47 return analyzer_->Simplify(expr); in Mutate() 50 Stmt Simplify(Stmt stmt) { in Simplify() function in tvm::arith::StmtSimplifier 101 return arith::StmtSimplifier(&analyzer).Simplify(stmt); in CanonicalSimplify() 112 Expr Simplify(Expr expr, Map<Var, Range> vrange) { in Simplify() function 117 expr = analyzer.Simplify(expr); in Simplify() 121 Stmt Simplify(Stmt stmt, Map<Var, Range> vrange) { in Simplify() function
|
/dports/textproc/uni/uni-2.4.0/vendor/zgo.at/zstd/zreflect/ |
H A D | zreflect_test.go | 10 v, k := Simplify(int8(123)) 14 v, k = Simplify(int16(123)) 19 v, k := Simplify([]byte("ASD")) 25 v, k := Simplify(&x)
|
/dports/print/fontforge/fontforge-20201107/tests/fonts/ |
H A D | SimplifyBugs.sfd | 3 FullName: Simplify Bugs 87 Comment: "Simplify distorted the tail of the Q" 114 Comment: "Simplify moved the control points of the bottom point to the wrong sides, and did somethi… 147 Comment: "Simplify smooth control points tried to move the cp of 320,146 to the wrong side." 191 Comment: "Simplify went into an infinite loop." 225 Comment: "Simplify would remove one of the extrema (400.3,114.3) and it should have left all extrem… 243 Comment: "Simplify would hang on this character." 305 Comment: "Simplify would hang on this character."
|
/dports/databases/spatialite/libspatialite-5.0.1/test/sql_stmt_geos_tests/ |
H A D | simplify4.testcase | 1 Simplify - bad arg 3 SELECT Simplify('hello', 0) 6 Simplify('hello', 0)
|
H A D | simplify7.testcase | 1 Simplify - zeroblob arg 3 SELECT Simplify(zeroblob(1000), 0) 6 Simplify(zeroblob(1000), 0)
|
H A D | simplify6.testcase | 1 Simplify - negative second arg 3 SELECT Simplify(GeomFromText('LINESTRING(1 2, 3 4)'), -287.3) 6 Simplify(GeomFromText('LINESTRING(1 2, 3 4)'), -287.3)
|
H A D | simplify15.testcase | 1 Simplify - toxic first arg 3 SELECT AsText(Simplify(GeomFromText('LINESTRING(1 1, 1 1)'),0.1)) 6 AsText(Simplify(GeomFromText('LINESTRING(1 1, 1 1)'),0.1))
|
/dports/misc/mxnet/incubator-mxnet-1.9.0/3rdparty/tvm/src/tir/transforms/ |
H A D | simplify.cc | 46 PrimExpr VisitExpr(const PrimExpr& expr) final { return analyzer_->Simplify(expr); } in VisitExpr() 48 Stmt Simplify(Stmt stmt) { return operator()(std::move(stmt)); } in Simplify() function in tvm::arith::StmtSimplifier 104 Pass Simplify() { in Simplify() function 108 n->body = arith::StmtSimplifier(&analyzer).Simplify(std::move(n->body)); in Simplify() 114 TVM_REGISTER_GLOBAL("tir.transform.Simplify").set_body_typed(Simplify);
|