poly_db_server/db_properties.py at master · solros/poly_db_server · GitHub

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
64
65
66
67
68
69
70
def simple_p(collection):
	if collection == 'SmoothReflexive':
		return [
			'CONE_DIM',
			'N_VERTICES',
			'N_FACETS'
			'FACET_WIDTH',
			'LATTICE_VOLUME',
			'N_INTERIOR_LATTICE_POINTS',
			'N_BOUNDARY_LATTICE_POINTS',
			'N_LATTICE_POINTS',
			'ESSENTIALLY_GENERIC',
			'GORENSTEIN',
			'LATTICE_CODEGREE',
			'LATTICE_DEGREE',
			'REFLEXIVE',
			'SMOOTH',
			'VERY_AMPLE'
		]
		# indices: cone_dim, n_vertices, n_facets, lattice_volume, n_lattice_points, lattice_codegree, lattice_degree
	elif collection == 'TOM':
		return [
			'N_PHP',
			'RANK',
			'DIM',
			'N_VERTICES',
			'N_TOPES',
			'N_TYPES',
			'N_APICES'
			'GENERAL_POSITION',
			'BOUNDARY_AXIOM',
			'SURROUNDING_AXIOM',
			'COMPARABILITY_AXIOM',
			'ELIMINATION_AXIOM',
			'IS_TOM',
		]


def vector_p(collection):
	if collection == 'SmoothReflexive':
		return [
			'CENTROID',
			'FACET_WIDTHS',
			'F_VECTOR',
			'H_STAR_VECTOR',
			'EHRHART_POLYNOMIAL_COEFF'
		]
	elif collection == 'TOM':
		return []


def matrix_p(collection):
	if collection == 'SmoothReflexive':
		return [
			'VERTICES',
			'FACETS'
		]
	elif collection == 'TOM':
		return []


def mmatrix_p(collection):
	if collection == 'SmoothReflexive':
		return []
	elif collection == 'TOM':
		return [
			'VERTICES',
			'TOPES',
			'APICES'
		]