| Download
Calculating Stapledon's h*-representations of S_n for hypersimplices
Project: From LaCIM SAGE server
Views: 192s[1, 1, 1, 1] + 8*s[2, 1, 1] + 10*s[2, 2] + 18*s[3, 1] + 11*s[4]
29*s[1, 1, 1, 1] + 124*s[2, 1, 1] + 103*s[2, 2] + 172*s[3, 1] + 76*s[4]
h[3, 2, 2] - h[3, 3, 1] - h[4, 2, 1] + h[4, 3] + h[5, 1, 1] - h[5, 2]
Error in lines 1-1
Traceback (most recent call last):
File "/cocalc/lib/python3.10/site-packages/smc_sagews/sage_server.py", line 1248, in execute
flags=compile_flags), namespace, locals)
File "", line 1, in <module>
File "/cocalc/lib/python3.10/site-packages/smc_sagews/sage_salvus.py", line 3923, in load
'__kwds': kwds
File "<string>", line 1, in <module>
File "sage/misc/persist.pyx", line 145, in sage.misc.persist.load (build/cythonized/sage/misc/persist.c:2483)
sage.repl.load.load(filename, globals())
File "/ext/sage/sage-8.9_1804/local/lib/python2.7/site-packages/sage/repl/load.py", line 272, in load
exec(preparse_file(f.read()) + "\n", globals)
File "<string>", line 68
if i:= p.get_values(v[G]):
^
SyntaxError: invalid syntax
h[2, 1] + h[3]
h[1, 1, 1] + 3*h[2, 1]
7*h[1, 1, 1] + 5*h[2, 1] - h[3]
32*h[1, 1, 1] + 6*h[2, 1] - h[3]
s[3, 2] + s[4, 1] + s[5]
s[2, 1, 1, 1] + 2*s[2, 2, 1] + 2*s[3, 1, 1] + 4*s[3, 2] + 4*s[4, 1] + 3*s[5]
2*s[1, 1, 1, 1, 1] + 8*s[2, 1, 1, 1] + 13*s[2, 2, 1] + 15*s[3, 1, 1] + 18*s[3, 2] + 16*s[4, 1] + 7*s[5]
s[3, 2] + s[4, 1] + s[5]
h[3, 2]
s[2, 1, 1, 1] + s[3, 1, 1]
h[2, 1, 1, 1] - 2*h[2, 2, 1] + h[3, 2]
2*s[2, 2, 1] + s[3, 1, 1] + 2*s[3, 2] + s[4, 1]
2*h[2, 2, 1] - h[3, 1, 1] - h[3, 2]
s[3, 2] + s[4, 1] + s[5]
2*s[2, 2, 1] + s[3, 1, 1] + 4*s[3, 2] + 4*s[4, 1] + 3*s[5]
s[2, 1, 1, 1] + s[3, 1, 1]
s[3, 2, 2, 1] + s[4, 1, 1, 1, 1]
s[2, 2, 2, 2] + s[4, 2, 2] + s[4, 4] + s[6, 2] + s[8]
h[2, 2] - h[3, 1] + h[4]
h[4, 2] - h[5, 1] + h[6]
h[4, 4] - h[5, 3] + h[6, 2] - h[7, 1] + h[8]
h[6, 4] - h[7, 3] + h[8, 2] - h[9, 1] + h[10]
h[6, 6] - h[7, 5] + h[8, 4] - h[9, 3] + h[10, 2] - h[11, 1] + h[12]
h[2, 2, 2] - 2*h[3, 2, 1] + 2*h[3, 3] + 2*h[4, 1, 1] - 2*h[4, 2] - 2*h[5, 1] + 2*h[6]
h[3, 3, 3] - 2*h[4, 3, 2] + 2*h[4, 4, 1] + 2*h[5, 2, 2] - 2*h[5, 3, 1] - 2*h[5, 4] - 2*h[6, 2, 1] + 4*h[6, 3] + 2*h[7, 1, 1] - 2*h[7, 2] - 2*h[8, 1] + 2*h[9]
h[4, 4, 4] - 2*h[5, 4, 3] + 2*h[5, 5, 2] + 2*h[6, 3, 3] - 2*h[6, 4, 2] - 2*h[6, 5, 1] + 2*h[6, 6] - 2*h[7, 3, 2] + 4*h[7, 4, 1] - 2*h[7, 5] + 2*h[8, 2, 2] - 2*h[8, 3, 1] - 2*h[8, 4] - 2*h[9, 2, 1] + 4*h[9, 3] + 2*h[10, 1, 1] - 2*h[10, 2] - 2*h[11, 1] + 2*h[12]
h[5, 5, 5] - 2*h[6, 5, 4] + 2*h[6, 6, 3] + 2*h[7, 4, 4] - 2*h[7, 5, 3] - 2*h[7, 6, 2] + 2*h[7, 7, 1] - 2*h[8, 4, 3] + 4*h[8, 5, 2] - 2*h[8, 6, 1] - 2*h[8, 7] + 2*h[9, 3, 3] - 2*h[9, 4, 2] - 2*h[9, 5, 1] + 4*h[9, 6] - 2*h[10, 3, 2] + 4*h[10, 4, 1] - 2*h[10, 5] + 2*h[11, 2, 2] - 2*h[11, 3, 1] - 2*h[11, 4] - 2*h[12, 2, 1] + 4*h[12, 3] + 2*h[13, 1, 1] - 2*h[13, 2] - 2*h[14, 1] + 2*h[15]
h[2, 2, 2] - 2*h[3, 2, 1] + 3*h[3, 3] + 2*h[4, 1, 1] - h[4, 2] - 2*h[5, 1] + 3*h[6]
s[2, 2, 2] + 2*s[3, 3] + s[4, 1, 1] + 3*s[4, 2] + 2*s[5, 1] + 4*s[6]
h[3, 2, 2] + 2*h[4, 3] + h[5, 2] + h[7]
h[3, 3, 2] + h[4, 2, 2] + h[4, 4] + 2*h[5, 3] + h[6, 2] + h[8]
h[3, 3, 3] + 2*h[4, 4, 1] + 3*h[5, 2, 2] - 2*h[5, 3, 1] - 2*h[6, 2, 1] + 6*h[6, 3] + 2*h[7, 1, 1] - h[7, 2] - 2*h[8, 1] + 3*h[9]
0
h[10]
h[8, 2] - h[9, 1]
h[6, 4]
h[6, 4]
h[8, 2]
h[10]
h[11]
h[9, 2] - h[10, 1]
h[7, 4]
h[6, 5]
h[8, 3]
h[10, 1]
0
h[6]
h[3, 3] - h[5, 1]
h[2, 2, 2] - 2*h[3, 2, 1] + h[3, 3] + 2*h[4, 1, 1] - h[4, 2] + h[6]
h[3, 3] - h[5, 1]
h[6]
0
h[3, 2, 2] + 2*h[4, 3] + h[5, 2] + h[7]
h[7]
h[4, 3] - h[6, 1]
h[3, 2, 2] - h[3, 3, 1] + h[4, 3] + h[5, 1, 1] - h[5, 2] + h[6, 1]
h[3, 3, 1] - h[5, 1, 1] + h[5, 2]
h[5, 2]
0
0
h[8]
h[5, 3] - h[7, 1]
h[4, 2, 2] - h[5, 2, 1] + h[5, 3] + h[6, 1, 1]
h[3, 3, 2] + h[7, 1]
h[4, 4] + h[5, 2, 1] - h[6, 1, 1] + h[6, 2] - h[7, 1]
h[7, 1]
0
s[9]
s[6, 3] + s[7, 2]
s[4, 4, 1] + s[5, 2, 2] + s[5, 3, 1] + 2*s[5, 4] + s[6, 2, 1] + 3*s[6, 3] + s[7, 1, 1] + 3*s[7, 2] + 3*s[8, 1] + 2*s[9]
s[3, 3, 3] + 2*s[4, 3, 2] + s[4, 4, 1] + 2*s[5, 2, 2] + 3*s[5, 3, 1] + 2*s[5, 4] + 3*s[6, 2, 1] + 4*s[6, 3] + 2*s[7, 1, 1] + 5*s[7, 2] + 4*s[8, 1] + 3*s[9]
s[4, 4, 1] + s[5, 2, 2] + 2*s[5, 3, 1] + 3*s[5, 4] + 2*s[6, 2, 1] + 5*s[6, 3] + 4*s[7, 2] + 2*s[8, 1] + 2*s[9]
s[6, 3] + s[7, 1, 1] + 2*s[7, 2] + 2*s[8, 1] + s[9]
s[9]
0
0
s[10]
s[7, 3] + s[8, 2]
s[5, 4, 1] + s[5, 5] + s[6, 2, 2] + s[6, 3, 1] + 3*s[6, 4] + s[7, 2, 1] + 3*s[7, 3] + s[8, 1, 1] + 3*s[8, 2] + 3*s[9, 1] + 2*s[10]
s[4, 3, 3] + s[4, 4, 2] + 3*s[5, 3, 2] + 2*s[5, 4, 1] + s[5, 5] + 2*s[6, 2, 2] + 4*s[6, 3, 1] + 3*s[6, 4] + 4*s[7, 2, 1] + 6*s[7, 3] + 2*s[8, 1, 1] + 6*s[8, 2] + 5*s[9, 1] + 3*s[10]
s[4, 4, 2] + 2*s[5, 3, 2] + 3*s[5, 4, 1] + 2*s[5, 5] + 2*s[6, 2, 2] + 4*s[6, 3, 1] + 6*s[6, 4] + 3*s[7, 2, 1] + 6*s[7, 3] + s[8, 1, 1] + 6*s[8, 2] + 4*s[9, 1] + 3*s[10]
s[5, 5] + s[6, 3, 1] + 2*s[6, 4] + 2*s[7, 2, 1] + 4*s[7, 3] + s[8, 1, 1] + 4*s[8, 2] + 2*s[9, 1] + s[10]
s[8, 2] + 2*s[9, 1] + 2*s[10]
0
0