-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathA3B2C_funcs.py
63 lines (63 loc) · 4.92 KB
/
A3B2C_funcs.py
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
import sympy
def get_fun_list():
x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15 = sympy.symbols('x1,x2,x3,x4,x5,x6,x7,x8,x9,x10,x11,x12,x13,x14,x15')
f = []
f.append(x14+x15)
f.append(x13)
f.append(x5+x9+x12)
f.append(x3+x4+x7+x8+x10+x11)
f.append(x1+x2+x6)
f.append(x14**2+x15**2)
f.append(x3*x14+x7*x14+x10*x14+x4*x15+x8*x15+x11*x15)
f.append(x5**2+x9**2+x12**2)
f.append(x3*x5+x4*x5+x7*x9+x8*x9+x10*x12+x11*x12)
f.append(x1*x5+x2*x5+x1*x9+x6*x9+x2*x12+x6*x12)
f.append(x3**2+x4**2+x7**2+x8**2+x10**2+x11**2)
f.append(x3*x4+x7*x8+x10*x11)
f.append(x3*x7+x4*x8+x3*x10+x7*x10+x4*x11+x8*x11)
f.append(x1*x3+x2*x3+x1*x4+x2*x4+x1*x7+x6*x7+x1*x8+x6*x8+x2*x10+x6*x10+x2*x11+x6*x11)
f.append(x1**2+x2**2+x6**2)
f.append(x3*x5*x14+x7*x9*x14+x10*x12*x14+x4*x5*x15+x8*x9*x15+x11*x12*x15)
f.append(x3**2*x14+x7**2*x14+x10**2*x14+x4**2*x15+x8**2*x15+x11**2*x15)
f.append(x1*x3*x14+x2*x3*x14+x1*x7*x14+x6*x7*x14+x2*x10*x14+x6*x10*x14+x1*x4*x15+x2*x4*x15+x1*x8*x15+x6*x8*x15+x2*x11*x15+x6*x11*x15)
f.append(x5**3+x9**3+x12**3)
f.append(x3*x5**2+x4*x5**2+x7*x9**2+x8*x9**2+x10*x12**2+x11*x12**2)
f.append(x1*x5**2+x2*x5**2+x1*x9**2+x6*x9**2+x2*x12**2+x6*x12**2)
f.append(x3**2*x5+x4**2*x5+x7**2*x9+x8**2*x9+x10**2*x12+x11**2*x12)
f.append(x3*x4*x5+x7*x8*x9+x10*x11*x12)
f.append(x3*x5*x7+x4*x5*x8+x3*x7*x9+x4*x8*x9+x3*x5*x10+x7*x9*x10+x4*x5*x11+x8*x9*x11+x3*x10*x12+x7*x10*x12+x4*x11*x12+x8*x11*x12)
f.append(x1*x3*x5+x2*x3*x5+x1*x4*x5+x2*x4*x5+x1*x7*x9+x6*x7*x9+x1*x8*x9+x6*x8*x9+x2*x10*x12+x6*x10*x12+x2*x11*x12+x6*x11*x12)
f.append(x1**2*x5+x2**2*x5+x1**2*x9+x6**2*x9+x2**2*x12+x6**2*x12)
f.append(x3**3+x4**3+x7**3+x8**3+x10**3+x11**3)
f.append(x3**2*x4+x3*x4**2+x7**2*x8+x7*x8**2+x10**2*x11+x10*x11**2)
f.append(x3**2*x7+x3*x7**2+x4**2*x8+x4*x8**2+x3**2*x10+x7**2*x10+x3*x10**2+x7*x10**2+x4**2*x11+x8**2*x11+x4*x11**2+x8*x11**2)
f.append(x1*x3**2+x2*x3**2+x1*x4**2+x2*x4**2+x1*x7**2+x6*x7**2+x1*x8**2+x6*x8**2+x2*x10**2+x6*x10**2+x2*x11**2+x6*x11**2)
f.append(x1*x3*x4+x2*x3*x4+x1*x7*x8+x6*x7*x8+x2*x10*x11+x6*x10*x11)
f.append(x1*x3*x7+x1*x4*x8+x2*x3*x10+x6*x7*x10+x2*x4*x11+x6*x8*x11)
f.append(x1**2*x3+x2**2*x3+x1**2*x4+x2**2*x4+x1**2*x7+x6**2*x7+x1**2*x8+x6**2*x8+x2**2*x10+x6**2*x10+x2**2*x11+x6**2*x11)
f.append(x1**3+x2**3+x6**3)
f.append(x3*x5**2*x14+x7*x9**2*x14+x10*x12**2*x14+x4*x5**2*x15+x8*x9**2*x15+x11*x12**2*x15)
f.append(x3**2*x5*x14+x7**2*x9*x14+x10**2*x12*x14+x4**2*x5*x15+x8**2*x9*x15+x11**2*x12*x15)
f.append(x1*x3*x5*x14+x2*x3*x5*x14+x1*x7*x9*x14+x6*x7*x9*x14+x2*x10*x12*x14+x6*x10*x12*x14+x1*x4*x5*x15+x2*x4*x5*x15+x1*x8*x9*x15+x6*x8*x9*x15+x2*x11*x12*x15+x6*x11*x12*x15)
f.append(x3**3*x14+x7**3*x14+x10**3*x14+x4**3*x15+x8**3*x15+x11**3*x15)
f.append(x3**2*x4*x14+x7**2*x8*x14+x10**2*x11*x14+x3*x4**2*x15+x7*x8**2*x15+x10*x11**2*x15)
f.append(x1*x3**2*x14+x2*x3**2*x14+x1*x7**2*x14+x6*x7**2*x14+x2*x10**2*x14+x6*x10**2*x14+x1*x4**2*x15+x2*x4**2*x15+x1*x8**2*x15+x6*x8**2*x15+x2*x11**2*x15+x6*x11**2*x15)
f.append(x1**2*x3*x14+x2**2*x3*x14+x1**2*x7*x14+x6**2*x7*x14+x2**2*x10*x14+x6**2*x10*x14+x1**2*x4*x15+x2**2*x4*x15+x1**2*x8*x15+x6**2*x8*x15+x2**2*x11*x15+x6**2*x11*x15)
f.append(x3**2*x5**2+x4**2*x5**2+x7**2*x9**2+x8**2*x9**2+x10**2*x12**2+x11**2*x12**2)
f.append(x3*x5**2*x7+x4*x5**2*x8+x3*x7*x9**2+x4*x8*x9**2+x3*x5**2*x10+x7*x9**2*x10+x4*x5**2*x11+x8*x9**2*x11+x3*x10*x12**2+x7*x10*x12**2+x4*x11*x12**2+x8*x11*x12**2)
f.append(x3**3*x5+x4**3*x5+x7**3*x9+x8**3*x9+x10**3*x12+x11**3*x12)
f.append(x3**2*x5*x7+x4**2*x5*x8+x3*x7**2*x9+x4*x8**2*x9+x3**2*x5*x10+x7**2*x9*x10+x4**2*x5*x11+x8**2*x9*x11+x3*x10**2*x12+x7*x10**2*x12+x4*x11**2*x12+x8*x11**2*x12)
f.append(x1*x3**2*x5+x2*x3**2*x5+x1*x4**2*x5+x2*x4**2*x5+x1*x7**2*x9+x6*x7**2*x9+x1*x8**2*x9+x6*x8**2*x9+x2*x10**2*x12+x6*x10**2*x12+x2*x11**2*x12+x6*x11**2*x12)
f.append(x1*x3*x5*x7+x1*x4*x5*x8+x1*x3*x7*x9+x1*x4*x8*x9+x2*x3*x5*x10+x6*x7*x9*x10+x2*x4*x5*x11+x6*x8*x9*x11+x2*x3*x10*x12+x6*x7*x10*x12+x2*x4*x11*x12+x6*x8*x11*x12)
f.append(x3**4+x4**4+x7**4+x8**4+x10**4+x11**4)
f.append(x3**3*x4+x3*x4**3+x7**3*x8+x7*x8**3+x10**3*x11+x10*x11**3)
f.append(x3**3*x7+x3*x7**3+x4**3*x8+x4*x8**3+x3**3*x10+x7**3*x10+x3*x10**3+x7*x10**3+x4**3*x11+x8**3*x11+x4*x11**3+x8*x11**3)
f.append(x1*x3**3+x2*x3**3+x1*x4**3+x2*x4**3+x1*x7**3+x6*x7**3+x1*x8**3+x6*x8**3+x2*x10**3+x6*x10**3+x2*x11**3+x6*x11**3)
f.append(x1*x3**2*x7+x1*x3*x7**2+x1*x4**2*x8+x1*x4*x8**2+x2*x3**2*x10+x6*x7**2*x10+x2*x3*x10**2+x6*x7*x10**2+x2*x4**2*x11+x6*x8**2*x11+x2*x4*x11**2+x6*x8*x11**2)
f.append(x1**2*x3**2+x2**2*x3**2+x1**2*x4**2+x2**2*x4**2+x1**2*x7**2+x6**2*x7**2+x1**2*x8**2+x6**2*x8**2+x2**2*x10**2+x6**2*x10**2+x2**2*x11**2+x6**2*x11**2)
f.append(x1**2*x3*x7+x1**2*x4*x8+x2**2*x3*x10+x6**2*x7*x10+x2**2*x4*x11+x6**2*x8*x11)
f.append(x3**4*x5+x4**4*x5+x7**4*x9+x8**4*x9+x10**4*x12+x11**4*x12)
f.append(x3**5+x4**5+x7**5+x8**5+x10**5+x11**5)
f.append(x1*x3**4+x2*x3**4+x1*x4**4+x2*x4**4+x1*x7**4+x6*x7**4+x1*x8**4+x6*x8**4+x2*x10**4+x6*x10**4+x2*x11**4+x6*x11**4)
f.append(x3**6+x4**6+x7**6+x8**6+x10**6+x11**6)
return f