Home
last modified time | relevance | path

Searched +refs:f +refs:x (Results 1 – 25 of 219765) sorted by relevance

12345678910>>...8791

/dports/devel/boost-docs/boost_1_72_0/libs/hana/test/detail/variadic/
H A Dfoldr1.cpp65 f(x<0>{}, f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, x<6>{})))))) in main()
70 f(x<0>{}, f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, x<7>{} in main()
76 f(x<0>{}, f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, x<8>{} in main()
84 f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, in main()
92 f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, in main()
101 f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, in main()
102 f(x<8>{}, f(x<9>{}, f(x<10>{}, f(x<11>{}, f(x<12>{}, f(x<13>{}, f(x<14>{}, x<15>{} in main()
112 f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, in main()
113 f(x<8>{}, f(x<9>{}, f(x<10>{}, f(x<11>{}, f(x<12>{}, f(x<13>{}, f(x<14>{}, in main()
114 f(x<15>{}, f(x<16>{}, f(x<17>{}, f(x<18>{}, f(x<19>{}, f(x<20>{}, f(x<21>{}, in main()
[all …]
H A Dfoldl1.cpp29 foldl1(f, x<1>{}, x<2>{}), in main()
30 f(x<1>{}, x<2>{}) in main()
34 foldl1(f, x<1>{}, x<2>{}, x<3>{}), in main()
35 f(f(x<1>{}, x<2>{}), x<3>{}) in main()
39 foldl1(f, x<1>{}, x<2>{}, x<3>{}, x<4>{}), in main()
40 f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}) in main()
44 foldl1(f, x<1>{}, x<2>{}, x<3>{}, x<4>{}, x<5>{}), in main()
45 f(f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}), x<5>{}) in main()
50 f(f(f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}), x<5>{}), x<6>{}) in main()
55 f(f(f(f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}), x<5>{}), x<6>{}), x<7>{}) in main()
[all …]
/dports/devel/boost-python-libs/boost_1_72_0/libs/hana/test/detail/variadic/
H A Dfoldr1.cpp65 f(x<0>{}, f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, x<6>{})))))) in main()
70 f(x<0>{}, f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, x<7>{} in main()
76 f(x<0>{}, f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, x<8>{} in main()
84 f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, in main()
92 f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, in main()
101 f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, in main()
102 f(x<8>{}, f(x<9>{}, f(x<10>{}, f(x<11>{}, f(x<12>{}, f(x<13>{}, f(x<14>{}, x<15>{} in main()
112 f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, in main()
113 f(x<8>{}, f(x<9>{}, f(x<10>{}, f(x<11>{}, f(x<12>{}, f(x<13>{}, f(x<14>{}, in main()
114 f(x<15>{}, f(x<16>{}, f(x<17>{}, f(x<18>{}, f(x<19>{}, f(x<20>{}, f(x<21>{}, in main()
[all …]
H A Dfoldl1.cpp29 foldl1(f, x<1>{}, x<2>{}), in main()
30 f(x<1>{}, x<2>{}) in main()
34 foldl1(f, x<1>{}, x<2>{}, x<3>{}), in main()
35 f(f(x<1>{}, x<2>{}), x<3>{}) in main()
39 foldl1(f, x<1>{}, x<2>{}, x<3>{}, x<4>{}), in main()
40 f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}) in main()
44 foldl1(f, x<1>{}, x<2>{}, x<3>{}, x<4>{}, x<5>{}), in main()
45 f(f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}), x<5>{}) in main()
50 f(f(f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}), x<5>{}), x<6>{}) in main()
55 f(f(f(f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}), x<5>{}), x<6>{}), x<7>{}) in main()
[all …]
/dports/devel/boost-libs/boost_1_72_0/libs/hana/test/detail/variadic/
H A Dfoldr1.cpp65 f(x<0>{}, f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, x<6>{})))))) in main()
70 f(x<0>{}, f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, x<7>{} in main()
76 f(x<0>{}, f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, x<8>{} in main()
84 f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, in main()
92 f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, in main()
101 f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, in main()
102 f(x<8>{}, f(x<9>{}, f(x<10>{}, f(x<11>{}, f(x<12>{}, f(x<13>{}, f(x<14>{}, x<15>{} in main()
112 f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, in main()
113 f(x<8>{}, f(x<9>{}, f(x<10>{}, f(x<11>{}, f(x<12>{}, f(x<13>{}, f(x<14>{}, in main()
114 f(x<15>{}, f(x<16>{}, f(x<17>{}, f(x<18>{}, f(x<19>{}, f(x<20>{}, f(x<21>{}, in main()
[all …]
H A Dfoldl1.cpp29 foldl1(f, x<1>{}, x<2>{}), in main()
30 f(x<1>{}, x<2>{}) in main()
34 foldl1(f, x<1>{}, x<2>{}, x<3>{}), in main()
35 f(f(x<1>{}, x<2>{}), x<3>{}) in main()
39 foldl1(f, x<1>{}, x<2>{}, x<3>{}, x<4>{}), in main()
40 f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}) in main()
44 foldl1(f, x<1>{}, x<2>{}, x<3>{}, x<4>{}, x<5>{}), in main()
45 f(f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}), x<5>{}) in main()
50 f(f(f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}), x<5>{}), x<6>{}) in main()
55 f(f(f(f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}), x<5>{}), x<6>{}), x<7>{}) in main()
[all …]
/dports/devel/hyperscan/boost_1_75_0/libs/hana/test/detail/variadic/
H A Dfoldr1.cpp65 f(x<0>{}, f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, x<6>{})))))) in main()
70 f(x<0>{}, f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, x<7>{} in main()
76 f(x<0>{}, f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, x<8>{} in main()
84 f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, in main()
92 f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, in main()
101 f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, in main()
102 f(x<8>{}, f(x<9>{}, f(x<10>{}, f(x<11>{}, f(x<12>{}, f(x<13>{}, f(x<14>{}, x<15>{} in main()
112 f(x<1>{}, f(x<2>{}, f(x<3>{}, f(x<4>{}, f(x<5>{}, f(x<6>{}, f(x<7>{}, in main()
113 f(x<8>{}, f(x<9>{}, f(x<10>{}, f(x<11>{}, f(x<12>{}, f(x<13>{}, f(x<14>{}, in main()
114 f(x<15>{}, f(x<16>{}, f(x<17>{}, f(x<18>{}, f(x<19>{}, f(x<20>{}, f(x<21>{}, in main()
[all …]
H A Dfoldl1.cpp29 foldl1(f, x<1>{}, x<2>{}), in main()
30 f(x<1>{}, x<2>{}) in main()
34 foldl1(f, x<1>{}, x<2>{}, x<3>{}), in main()
35 f(f(x<1>{}, x<2>{}), x<3>{}) in main()
39 foldl1(f, x<1>{}, x<2>{}, x<3>{}, x<4>{}), in main()
40 f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}) in main()
44 foldl1(f, x<1>{}, x<2>{}, x<3>{}, x<4>{}, x<5>{}), in main()
45 f(f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}), x<5>{}) in main()
50 f(f(f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}), x<5>{}), x<6>{}) in main()
55 f(f(f(f(f(f(x<1>{}, x<2>{}), x<3>{}), x<4>{}), x<5>{}), x<6>{}), x<7>{}) in main()
[all …]
/dports/misc/otter/otter-3.3f/examples/Loop/
H A DSheffer-mgi-without-mirrors1 f(f(x,x),f(x,y)) = x.
2 f(f(x,x),f(y,x)) = x.
3 f(f(y,f(y,y)),f(x,x)) = x.
4 f(f(f(y,y),y),f(x,x)) = x.
5 f(f(x,f(y,z)),f(x,z)) = x.
6 f(f(x,f(y,z)),f(z,x)) = x.
45 f(f(x,f(f(x,x),y)),f(x,z)) = x.
46 f(f(x,f(f(x,x),y)),f(z,x)) = x.
47 f(f(f(f(x,x),y),x),f(x,z)) = x.
48 f(f(f(f(x,x),y),x),f(z,x)) = x.
[all …]
H A Dtemp17 f(f(x,x),f(x,y)) = x. % Job 1
22 f(f(x,x),f(y,x)) = x. % Job 2
117 f(f(x,f(f(x,y),y)),f(x,z)) = x. % Job 21
237 f(f(x,f(f(x,x),y)),f(x,z)) = x. % Job 45
242 f(f(x,f(f(x,x),y)),f(z,x)) = x. % Job 46
247 f(f(f(f(x,x),y),x),f(x,z)) = x. % Job 47
252 f(f(f(f(x,x),y),x),f(z,x)) = x. % Job 48
257 f(f(x,f(y,f(x,x))),f(x,z)) = x. % Job 49
262 f(f(x,f(y,f(x,x))),f(z,x)) = x. % Job 50
267 f(f(f(y,f(x,x)),x),f(x,z)) = x. % Job 51
[all …]
/dports/misc/otter/otter-3.3f/examples-mace2/Perl-examples/
H A DSheffer-mgi-without-mirrors1 f(f(x,x),f(x,y)) = x.
2 f(f(x,x),f(y,x)) = x.
3 f(f(y,f(y,y)),f(x,x)) = x.
4 f(f(f(y,y),y),f(x,x)) = x.
5 f(f(x,f(y,z)),f(x,z)) = x.
6 f(f(x,f(y,z)),f(z,x)) = x.
45 f(f(x,f(f(x,x),y)),f(x,z)) = x.
46 f(f(x,f(f(x,x),y)),f(z,x)) = x.
47 f(f(f(f(x,x),y),x),f(x,z)) = x.
48 f(f(f(f(x,x),y),x),f(z,x)) = x.
[all …]
H A Dcandidates1 f(f(y,f(f(x,y),y)),f(x,f(z,y))) = x.
2 f(f(f(y,f(x,y)),y),f(x,f(z,y))) = x.
3 f(f(f(f(y,x),y),y),f(x,f(z,y))) = x.
4 f(f(y,f(f(x,y),y)),f(x,f(y,z))) = x.
5 f(f(f(y,f(x,y)),y),f(x,f(y,z))) = x.
6 f(f(f(f(y,x),y),y),f(x,f(y,z))) = x.
7 f(f(y,f(y,f(x,y))),f(x,f(z,y))) = x.
22 f(f(f(y,f(x,x)),y),f(x,f(z,y))) = x.
23 f(f(f(y,f(x,x)),y),f(x,f(y,z))) = x.
24 f(f(y,f(y,f(x,x))),f(x,f(z,y))) = x.
[all …]
/dports/misc/otter/otter-3.3f/examples/wos/
H A Dgrp_exp4.out47 weight(f(e,f(e,f(f(f(x,f(f(x,x),e)),e),f(f(f(x,f(f(x,x),e)),e),f(f(x,f(f(x,x),e)),e)))))=x,2).
50 weight(f(e,f(f(e,f(e,f(f(x,x),f(f(f(x,x),f(x,x)),f(y,e))))),f(f(f(x,y),e),f(f(f(x,y),e),f(f(x,y),e)…
53 weight(f(e,f(f(e,f(f(f(x,f(f(x,x),e)),e),f(f(f(x,f(f(x,x),e)),e),f(f(x,f(f(x,x),e)),e)))),y))=f(x,f…
63 weight(f(f(f(x,x),f(f(f(x,x),f(x,x)),f(x,e))),e)=f(f(x,x),f(f(x,e),e)),2).
64 weight(f(f(f(x,x),f(f(x,x),f(x,x))),e)=f(x,f(f(x,e),e)),2).
75 weight(f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,f(x,x))))=f(e,x),2).
76 weight(f(f(x,x),f(f(f(x,x),f(x,x)),e))=f(x,f(f(x,e),e)),2).
77 weight(f(f(x,x),f(f(f(x,x),f(x,x)),f(f(f(x,e),e),y)))=f(x,f(f(x,f(f(x,e),e)),f(e,y))),2).
79 weight(f(f(x,x),f(f(f(x,x),f(x,x)),y))=f(x,f(f(x,e),y)),2).
86 weight(f(x,f(f(f(x,x),f(f(f(x,x),f(x,x)),f(x,e))),e))=e,2).
[all …]
H A Dgrp_exp4.in25 weight(f(e,f(e,f(e,f(f(f(f(x,x),f(f(f(x,x),f(x,x)),f(y,z))),f(z,f(z,z))),e))))=f(x,f(f(x,y),e)), 2).
29 weight(f(e,f(e,f(f(f(x,f(f(x,x),e)),e),f(f(f(x,f(f(x,x),e)),e),f(f(x,f(f(x,x),e)),e)))))=x, 2).
32 weight(f(e,f(f(e,f(e,f(f(x,x),f(f(f(x,x),f(x,x)),f(y,e))))),f(f(f(x,y),e),f(f(f(x,y),e),f(f(x,y),e)…
35 weight(f(e,f(f(e,f(f(f(x,f(f(x,x),e)),e),f(f(f(x,f(f(x,x),e)),e),f(f(x,f(f(x,x),e)),e)))),y))=f(x,f…
45 weight(f(f(f(x,x),f(f(f(x,x),f(x,x)),f(x,e))),e)=f(f(x,x),f(f(x,e),e)), 2).
46 weight(f(f(f(x,x),f(f(x,x),f(x,x))),e)=f(x,f(f(x,e),e)), 2).
57 weight(f(f(x,f(x,x)),f(f(x,f(x,x)),f(x,f(x,x))))=f(e,x), 2).
58 weight(f(f(x,x),f(f(f(x,x),f(x,x)),e))=f(x,f(f(x,e),e)), 2).
59 weight(f(f(x,x),f(f(f(x,x),f(x,x)),f(f(f(x,e),e),y)))=f(x,f(f(x,f(f(x,e),e)),f(e,y))), 2).
61 weight(f(f(x,x),f(f(f(x,x),f(x,x)),y))=f(x,f(f(x,e),y)), 2).
[all …]
H A Dgrp_exp3.out42 weight(EQ(f(e,f(x,f(x,f(x,e)))),e),2).
43 weight(EQ(f(f(x,e),f(f(x,e),f(x,e))),e),2).
44 weight(EQ(f(f(x,e),f(f(x,e),f(x,f(f(f(e,f(x,e)),y),f(y,y))))),f(x,e)),2).
47 weight(EQ(f(f(x,y),f(f(x,y),f(x,f(y,e)))),e),2).
54 weight(EQ(f(x,f(x,f(f(y,z),f(z,z)))),f(x,f(x,f(y,e)))),2).
55 weight(EQ(f(x,f(x,f(x,e))),e),2).
56 weight(EQ(f(x,f(x,f(x,f(y,e)))),y),2).
57 weight(EQ(f(x,f(x,f(x,f(y,f(z,e))))),f(y,z)),2).
66 0 [] EQ(f(x,f(f(x,f(f(x,y),z)),f(e,f(z,z)))),y).
113 6 [] EQ(f(x,f(f(x,f(f(x,y),z)),f(e,f(z,z)))),y).
[all …]
/dports/misc/otter/otter-3.3f/examples/fringe/
H A Dolsax_hints.in45 f(f(x,y),f(x,f(f(x,f(f(f(f(z,x),f(x,u)),f(f(z,x),f(x,u))),f(f(z,x),f(x,u)))),f(f(x,f(f(z,z),z)),u))…
46 f(x,f(f(x,y),f(f(f(x,y),f(f(f(z,x),f(z,x)),f(z,x))),u)))=f(x,y).
48 f(x,f(f(x,y),f(f(f(z,x),f(z,x)),f(z,x))))=f(x,y).
50 f(f(x,x),f(x,x))=x.
51 f(x,f(f(x,f(f(x,x),y)),f(x,x)))=f(x,f(f(x,x),y)).
52 f(x,f(f(x,y),f(x,f(x,x))))=f(x,y).
57 f(x,f(f(x,x),y))=f(x,x).
58 f(f(f(x,x),y),x)=f(x,x).
65 f(f(f(f(x,y),f(x,z)),u),f(x,x))=x.
70 f(x,f(y,f(x,x)))=f(x,x).
[all …]
H A Dolsax_hints.out34 0 [] f(f(f(f(y,x),f(x,z)),u),f(x,f(f(x,f(f(y,y),y)),z)))=x.
48 4 [] f(f(x,y),f(x,f(f(x,f(f(f(f(z,x),f(x,u)),f(f(z,x),f(x,u))),f(f(z,x),f(x,u)))),f(f(x,f(f(z,z),z)…
49 5 [] f(x,f(f(x,y),f(f(f(x,y),f(f(f(z,x),f(z,x)),f(z,x))),u)))=f(x,y).
51 7 [] f(x,f(f(x,y),f(f(f(z,x),f(z,x)),f(z,x))))=f(x,y).
53 9 [] f(f(x,x),f(x,x))=x.
54 10 [] f(x,f(f(x,f(f(x,x),y)),f(x,x)))=f(x,f(f(x,x),y)).
55 11 [] f(x,f(f(x,y),f(x,f(x,x))))=f(x,y).
60 16 [] f(x,f(f(x,x),y))=f(x,x).
61 17 [] f(f(f(x,x),y),x)=f(x,x).
73 29 [] f(x,f(y,f(x,x)))=f(x,x).
[all …]
/dports/math/py-sympy/sympy-1.9/sympy/solvers/ode/tests/
H A Dtest_single.py321 problem = SingleODEProblem(f(x).diff(x) + f(x)*f(x), f(x), x)
438 eqn = f(x) + f(x)*f(x).diff(x)
481 eq = cos(f(x)) - (x*sin(f(x)) - f(x)**2)*f(x).diff(x)
922 'eq': (f(x).diff(x)+f(x)*x**2)*(f(x).diff(x, 2) + x*f(x)),
1157 'eq': f(x) * f(x).diff(x) * f(x).diff(x, x) * (f(x) - 1) * (f(x).diff(x) - x),
1844 'eq': (2*x*f(x) + 1)/f(x) + (f(x) - x)/f(x)**2*f(x).diff(x),
2212 … 'eq': Eq(f(x).diff(x) + (x**4*f(x)**2 + x**2*f(x))*f(x)/(x*(x**6*f(x)**3 + x**4*f(x)**2)), 0),
2379 'eq': (f(x).diff(x)-f(x)) * (f(x).diff(x)+f(x)),
2744 'eq': f(x)/x*cos(f(x)/x) - (x/f(x)*sin(f(x)/x) + cos(f(x)/x))*f(x).diff(x),
2757 'eq': x*exp(f(x)/x) - f(x)*sin(f(x)/x) + x*sin(f(x)/x)*f(x).diff(x),
[all …]
/dports/misc/otter/otter-3.3f/source/
H A Db2.outb862 795 [] f(f(g(f(f(x,g(f(x,x))),x)),f(g(f(x,g(f(x,x)))),g(g(f(x,g(f(x,x))))))),g(f(x,g(f(x,x)))))=g(f…
863 796 [] f(f(g(f(f(x,g(f(x,x))),x)),f(x,g(g(f(x,g(f(x,x))))))),g(f(x,g(f(x,x)))))=g(f(x,g(f(x,x)))).
890 823 [] f(x,g(f(x,f(g(f(x,x)),f(x,g(f(x,g(f(x,f(f(g(x),f(x,g(x))),x))))))))))=x.
893 …[] f(g(f(x,f(g(x),f(x,g(x))))),g(f(g(f(x,f(g(x),f(x,g(x))))),g(f(x,f(g(x),f(x,g(x))))))))=f(x,f(f(…
894 827 [] f(g(f(x,f(g(x),f(x,g(x))))),g(f(g(f(x,f(g(x),f(x,g(x))))),g(f(x,f(g(x),f(x,g(x))))))))=f(x,f…
901 834 [] g(f(f(x,g(f(x,f(f(y,f(x,g(x))),x)))),x))=f(f(x,g(x)),g(f(f(x,g(x)),f(f(g(f(f(x,g(x)),f(x,g(x…
903 … f(x,f(f(g(f(f(x,g(f(x,f(f(y,f(x,g(x))),x)))),x)),f(x,g(z))),z))=f(g(f(x,f(f(y,f(x,g(x))),x))),g(f…
1303 …[] f(g(f(x,f(g(x),f(x,g(x))))),g(f(g(f(x,f(g(x),f(x,g(x))))),g(f(x,f(g(x),f(x,g(x))))))))=f(x,f(f(…
1332 1259 [] g(f(f(x,g(f(x,f(f(y,f(x,g(x))),x)))),x))=f(f(x,g(x)),g(f(f(x,g(x)),f(f(g(f(f(x,g(x)),f(x,g(…
1334 … f(x,f(f(g(f(f(x,g(f(x,f(f(y,f(x,g(x))),x)))),x)),f(x,g(z))),z))=f(g(f(x,f(f(y,f(x,g(x))),x))),g(f…
[all …]
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/tests4/MiscellaneousFunctions/
H A DDifferentiationFunctions.m7 {f'[x], x, 1, f[x]}
8 {f''[x], x, 1, f'[x]}
14 {f'[x]/f[x], x, 2, Log[f[x]]}
17 {f[x]*f'[x], x, 2, f[x]^2/2}
18 {(a+b*f[x])*f'[x], x, 2, a*f[x] + (1/2)*b*f[x]^2}
27 {f''[x]/f'[x], x, 2, Log[f'[x]]}
30 {f'[x]*f''[x], x, 2, f'[x]^2/2}
31 {(a+b*f'[x])*f''[x], x, 2, a*f'[x] + (1/2)*b*f'[x]^2}
44 {f'[x]*g[x] + f[x]*g'[x], x, 1, f[x]*g[x]}
46 {(f'[x]*g[x] - f[x]*g'[x])/(f[x]*g[x]), x, 1, Log[f[x]/g[x]]}
[all …]
/dports/misc/otter/otter-3.3f/examples/misc/
H A Dsax2.out38 0 [] f(f(f(x,y),z),g(f(x,z)))=y.
46 ** KEPT (pick-wt=12): 6 [] f(f(f(x,y),z),g(f(x,z)))=y.
54 given clause #1: (wt=12) 6 [] f(f(f(x,y),z),g(f(x,z)))=y.
81 6 [] f(f(f(x,y),z),g(f(x,z)))=y.
83 10 [para_into,6.1.1.1,6.1.1] f(x,g(f(f(y,x),g(f(y,z)))))=z.
85 27 [copy,26,flip.1] g(f(f(x,y),g(f(x,z))))=f(f(z,u),g(f(y,u))).
101 156 [back_demod,83,demod,107] f(f(f(x,y),g(f(x,z))),z)=y.
141 6 [] f(f(f(x,y),z),g(f(x,z)))=y.
148 27 [copy,26,flip.1] g(f(f(x,y),g(f(x,z))))=f(f(z,u),g(f(y,u))).
192 6 [] f(f(f(x,y),z),g(f(x,z)))=y.
[all …]
/dports/math/reduce/Reduce-svn5758-src/packages/rubi_red/tests4/P1 Monomial Functions/
H A DP1.6 Expansion problems.m19 …x^2*(a + c*x^2)^(1/2)/(d + e*x + f*x^2), x, 10, -((e*Sqrt[a + c*x^2])/f^2) + (x*Sqrt[a + c*x^2])/(…
20 …x^1*(a + c*x^2)^(1/2)/(d + e*x + f*x^2), x, 6, Sqrt[a + c*x^2]/f - (Sqrt[c]*e*ArcTanh[(Sqrt[c]*x)/…
21 …x^0*(a + c*x^2)^(1/2)/(d + e*x + f*x^2), x, 5, (Sqrt[c]*ArcTanh[(Sqrt[c]*x)/Sqrt[a + c*x^2]])/f - …
27 …x^2*(a + c*x^2)^(3/2)/(d + e*x + f*x^2), x, 15, -((e*(a*f^2 + c*(e^2 - 2*d*f))*Sqrt[a + c*x^2])/f^…
28 …x^1*(a + c*x^2)^(3/2)/(d + e*x + f*x^2), x, 10, ((a*f^2 + c*(e^2 - d*f))*Sqrt[a + c*x^2])/f^3 - (c…
29 …x^0*(a + c*x^2)^(3/2)/(d + e*x + f*x^2), x, 9, -((c*e*Sqrt[a + c*x^2])/f^2) + (c*x*Sqrt[a + c*x^2]…
66 …x^1*(a + b*x + c*x^2)^(1/2)/(d + f*x^2), x, 6, Sqrt[a + b*x + c*x^2]/f + (Sqrt[c*d + b*Sqrt[-d]*Sq…
75 …x^1*(a + b*x + c*x^2)^(3/2)/(d + f*x^2), x, 10, -(((c*d - a*f)*Sqrt[a + b*x + c*x^2])/f^2) + (b*(b…
76 …x^0*(a + b*x + c*x^2)^(3/2)/(d + f*x^2), x, 9, (b*Sqrt[a + b*x + c*x^2])/f + ((b + 2*c*x)*Sqrt[a +…
105 …x^4/((a + b*x + c*x^2)^(3/2)*(d + f*x^2)), x, 11, (2*x*(2*a + b*x))/((b^2 - 4*a*c)*f*Sqrt[a + b*x …
[all …]
/dports/lang/gcc9/gcc-9.4.0/gcc/testsuite/g++.dg/template/
H A Dlocal2.C10 double t14 = x.f(0,0)*x.f(1,1); in g()
11 double t15 = x.f(2,2)*x.f(3,3); in g()
12 double t17 = x.f(2,3)*x.f(3,2); in g()
13 double t19 = x.f(0,0)*x.f(2,1); in g()
14 double t20 = x.f(1,2)*x.f(3,3); in g()
15 double t22 = x.f(1,3)*x.f(3,2); in g()
16 double t24 = x.f(0,0)*x.f(3,1); in g()
17 double t25 = x.f(1,2)*x.f(2,3); in g()
18 double t27 = x.f(1,3)*x.f(2,2); in g()
19 double t29 = x.f(1,0)*x.f(0,1); in g()
[all …]
/dports/devel/arm-none-eabi-gcc492/gcc-4.9.2/gcc/testsuite/g++.dg/template/
H A Dlocal2.C10 double t14 = x.f(0,0)*x.f(1,1); in g()
11 double t15 = x.f(2,2)*x.f(3,3); in g()
12 double t17 = x.f(2,3)*x.f(3,2); in g()
13 double t19 = x.f(0,0)*x.f(2,1); in g()
14 double t20 = x.f(1,2)*x.f(3,3); in g()
15 double t22 = x.f(1,3)*x.f(3,2); in g()
16 double t24 = x.f(0,0)*x.f(3,1); in g()
17 double t25 = x.f(1,2)*x.f(2,3); in g()
18 double t27 = x.f(1,3)*x.f(2,2); in g()
19 double t29 = x.f(1,0)*x.f(0,1); in g()
[all …]
/dports/devel/riscv64-gcc/gcc-8.3.0/gcc/testsuite/g++.dg/template/
H A Dlocal2.C10 double t14 = x.f(0,0)*x.f(1,1); in g()
11 double t15 = x.f(2,2)*x.f(3,3); in g()
12 double t17 = x.f(2,3)*x.f(3,2); in g()
13 double t19 = x.f(0,0)*x.f(2,1); in g()
14 double t20 = x.f(1,2)*x.f(3,3); in g()
15 double t22 = x.f(1,3)*x.f(3,2); in g()
16 double t24 = x.f(0,0)*x.f(3,1); in g()
17 double t25 = x.f(1,2)*x.f(2,3); in g()
18 double t27 = x.f(1,3)*x.f(2,2); in g()
19 double t29 = x.f(1,0)*x.f(0,1); in g()
[all …]

12345678910>>...8791