From dfeb91defd553fc639af896d9389a929687e0a1e Mon Sep 17 00:00:00 2001 From: Michael Walter Date: Tue, 2 Jan 2024 12:18:17 +0100 Subject: [PATCH] Update docs --- .buildinfo | 2 +- changes.html | 2 +- genindex.html | 2 +- index.html | 2 +- installation.html | 2 +- license.html | 2 +- py-modindex.html | 2 +- qmp.html | 2 +- reference.html | 24 ++++++++++++------------ search.html | 2 +- searchindex.js | 2 +- 11 files changed, 22 insertions(+), 22 deletions(-) diff --git a/.buildinfo b/.buildinfo index a913e07..3cd4eb8 100644 --- a/.buildinfo +++ b/.buildinfo @@ -1,4 +1,4 @@ # Sphinx build info version 1 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done. -config: bbac0c3084e7dfd6892c49ba365f7584 +config: eb81bef96d6f674f0a6348b672e6bb58 tags: 645f666f9bcd5a90fca523b33c5a78b7 diff --git a/changes.html b/changes.html index 3f55fb3..c2ce729 100644 --- a/changes.html +++ b/changes.html @@ -94,7 +94,7 @@

Quick search

- ©2014-2023 Michael Walter. + ©2014-2024 Michael Walter.
diff --git a/genindex.html b/genindex.html index d55bb9f..507e72f 100644 --- a/genindex.html +++ b/genindex.html @@ -449,7 +449,7 @@

Quick search

- ©2014-2023 Michael Walter. + ©2014-2024 Michael Walter.
diff --git a/index.html b/index.html index 7a37b37..b1d30f4 100644 --- a/index.html +++ b/index.html @@ -150,7 +150,7 @@

Quick search

- ©2014-2023 Michael Walter. + ©2014-2024 Michael Walter.
diff --git a/installation.html b/installation.html index 368df3d..5a9d6c1 100644 --- a/installation.html +++ b/installation.html @@ -101,7 +101,7 @@

Quick search

- ©2014-2023 Michael Walter. + ©2014-2024 Michael Walter.
diff --git a/license.html b/license.html index 7b1290b..c244aa3 100644 --- a/license.html +++ b/license.html @@ -71,7 +71,7 @@

Quick search

- ©2014-2023 Michael Walter. + ©2014-2024 Michael Walter.
diff --git a/py-modindex.html b/py-modindex.html index 44edc34..2865024 100644 --- a/py-modindex.html +++ b/py-modindex.html @@ -85,7 +85,7 @@

Quick search

- ©2014-2023 Michael Walter. + ©2014-2024 Michael Walter.
diff --git a/qmp.html b/qmp.html index 291b79f..49e7d6c 100644 --- a/qmp.html +++ b/qmp.html @@ -1016,7 +1016,7 @@

Quick search

- ©2014-2023 Michael Walter. + ©2014-2024 Michael Walter.
diff --git a/reference.html b/reference.html index 128174b..6540383 100644 --- a/reference.html +++ b/reference.html @@ -155,7 +155,7 @@

Ressayre ElementsReturn type: -

set of integers

+

set of integers

@@ -571,7 +571,7 @@

PolyhedraRaises: -

ValueError – neither ieqs, eqns, nor ambient_dim were specified.

+

ValueError – neither ieqs, eqns, nor ambient_dim were specified.

@@ -580,7 +580,7 @@

Polyhedrapt is contained in the polyhedron.

Return type:
-

bool

+

bool

@@ -592,7 +592,7 @@

Polyhedra
Return type:
-

bool

+

bool

@@ -678,7 +678,7 @@

Polyhedra

list of sage.vector

Raises:
-

ValueError – polytope is not bounded (use vrepr() to access V-representation)

+

ValueError – polytope is not bounded (use vrepr() to access V-representation)

@@ -712,7 +712,7 @@

PolyhedraRaises: -

ValueError – neither vertices, rays, lines, nor ambient_dim were specified.

+

ValueError – neither vertices, rays, lines, nor ambient_dim were specified.

@@ -722,7 +722,7 @@

Polyhedra
Return type:
-

bool

+

bool

@@ -987,7 +987,7 @@

CombinatoricsReturn type: -

bool

+

bool

@@ -1006,7 +1006,7 @@

CombinatoricsReturn type: -

bool

+

bool

@@ -1091,7 +1091,7 @@

Combinatorics

hs – a vector of the same length as v.

Return type:
-

tuple

+

tuple

@@ -1105,7 +1105,7 @@

Combinatorics

hs_iterable – a collection of vectors

Return type:
-

set of tuples

+

set of tuples

@@ -1372,7 +1372,7 @@

Quick search

- ©2014-2023 Michael Walter. + ©2014-2024 Michael Walter.
diff --git a/search.html b/search.html index 69b3920..4f53cb4 100644 --- a/search.html +++ b/search.html @@ -86,7 +86,7 @@

Related Topics

- ©2014-2023 Michael Walter. + ©2014-2024 Michael Walter.
diff --git a/searchindex.js b/searchindex.js index e3b9911..67c6ee2 100644 --- a/searchindex.js +++ b/searchindex.js @@ -1 +1 @@ -Search.setIndex({"docnames": ["changes", "index", "installation", "license", "qmp", "reference"], "filenames": ["changes.rst", "index.rst", "installation.rst", "license.rst", "qmp.rst", "reference.rst"], "titles": ["Changelog", "moment_polytopes", "Installation", "License", "Quantum Marginal Problems", "Reference"], "terms": {"upcom": 0, "releas": 0, "add": 0, "support": [0, 5], "ration": [0, 5], "represent": [0, 1], "gl": [0, 4, 5], "n": [0, 5], "document": [0, 3], "log": [0, 1, 4], "featur": 0, "initi": 0, "thi": [1, 2, 3, 5], "i": [1, 2, 3, 4, 5], "sagemath": [1, 2], "packag": [1, 2], "comput": [1, 5], "moment": [1, 4, 5], "polytop": [1, 4, 5], "associ": [1, 3, 5], "finit": [1, 5], "dimension": [1, 5], "compact": [1, 5], "connect": [1, 3, 5], "lie": [1, 5], "group": [1, 5], "base": [1, 5], "algorithm": [1, 2, 4, 5], "propos": 1, "vergn": [1, 5], "walter": [1, 3, 4, 5], "2014": [1, 3, 4, 5], "see": [1, 4, 5], "also": [1, 5], "further": [1, 2], "detail": 1, "The": [1, 3, 4, 5], "follow": [1, 2, 3, 4, 5], "code": 1, "solv": 1, "one": 1, "bodi": 1, "quantum": 1, "margin": 1, "problem": 1, "three": [1, 5], "qubit": 1, "import": [1, 4], "moment_polytop": [1, 2, 4, 5], "enabl": 1, "basicconfig": [1, 4], "level": [1, 4], "debug": [1, 4], "h": [1, 5], "three_qubit": [1, 2], "2": [1, 5], "hrepr": [1, 5], "qmp": [1, 4, 5], "print": [1, 2, 5], "f": [1, 2, 5], "len": 1, "ieq": [1, 5], "facet": [1, 4, 5], "convert": [1, 5], "v": [1, 5], "vrepr": [1, 5], "vertic": [1, 4, 5], "you": [1, 2], "can": [1, 2, 5], "instal": 1, "latest": 1, "version": [1, 5], "sage": [1, 2, 5], "lrslib": [1, 5], "pip": [1, 2], "git": [1, 2], "github": [1, 2], "com": [1, 2], "qi": [1, 2], "rub": [1, 2], "upgrad": 1, "now": 1, "download": [1, 2], "py": [1, 2], "exampl": [1, 2], "run": [1, 2], "via": 1, "troubleshoot": 1, "we": [1, 2, 5], "have": [1, 5], "us": [1, 2, 3, 5], "variou": 1, "mathematica": [1, 4, 5], "integr": [1, 5], "c": [1, 5], "4": [1, 5], "3": [1, 5], "12": [1, 5], "refer": 1, "ressayr": 1, "element": 1, "polyhedra": 1, "combinator": 1, "third": 1, "parti": 1, "data": [1, 4], "intern": 1, "changelog": 1, "1": [1, 4, 5], "0": [1, 4, 5], "licens": 1, "If": [1, 2, 5], "softwar": [1, 3], "pleas": [1, 2], "consid": 1, "cite": 1, "our": [1, 5], "articl": 1, "author": [1, 3], "m": [1, 4], "titl": 1, "inequ": [1, 5], "cone": 1, "journal": 1, "symplect": 1, "geometri": 1, "year": 1, "2017": [1, 3], "volum": 1, "15": [1, 4], "number": [1, 4, 5], "page": 1, "1209": 1, "1250": 1, "eprint": 1, "1410": 1, "8144": 1, "doi": 1, "10": [1, 4, 5], "4310": 1, "jsg": 1, "v15": 1, "n4": 1, "a8": 1, "note": 1, "avail": [1, 2, 5], "url": 1, "http": [1, 5], "io": 1, "requir": [2, 5], "9": [2, 4, 5], "8": [2, 4, 5], "higher": 2, "It": 2, "To": 2, "test": [2, 5], "your": 2, "second": [2, 5], "line": [2, 5], "get": 2, "an": [2, 3, 4, 5], "error": [2, 5], "messag": [2, 4, 5], "sai": 2, "configur": 2, "locat": 2, "tl": 2, "ssl": 2, "howev": 2, "modul": [2, 5], "python": 2, "retri": 2, "openssl": 2, "python2": 2, "wolfram": 2, "contain": [2, 5], "some": [2, 4, 5], "clever": 2, "heurist": 2, "evalu": [2, 5], "determin": [2, 5], "polynomi": [2, 5], "matric": [2, 5], "provid": [2, 3], "ressayre_test": [2, 5], "etc": 2, "leverag": 2, "its": [2, 5], "function": [2, 5], "need": [2, 5], "math": 2, "execut": 2, "ha": [2, 5], "current": [2, 5], "path": 2, "_install_hint": 2, "prompt": 2, "inform": 2, "how": 2, "set": [2, 5], "up": [2, 4, 5], "": [2, 4, 5], "copyright": 3, "michael": [3, 5], "permiss": 3, "herebi": 3, "grant": 3, "free": 3, "charg": 3, "ani": [3, 5], "person": 3, "obtain": 3, "copi": 3, "file": 3, "deal": 3, "without": [3, 5], "restrict": [3, 5], "includ": [3, 4, 5], "limit": 3, "right": 3, "modifi": 3, "merg": 3, "publish": 3, "distribut": 3, "sublicens": 3, "sell": 3, "permit": 3, "whom": 3, "furnish": 3, "do": [3, 5], "so": [3, 5], "subject": [3, 4], "condit": [3, 5], "abov": 3, "notic": 3, "shall": 3, "all": [3, 4, 5], "substanti": 3, "portion": 3, "THE": 3, "AS": 3, "warranti": 3, "OF": 3, "kind": 3, "express": 3, "OR": 3, "impli": 3, "BUT": 3, "NOT": 3, "TO": 3, "merchant": 3, "fit": 3, "FOR": 3, "A": [3, 5], "particular": 3, "purpos": 3, "AND": 3, "noninfring": 3, "IN": 3, "NO": 3, "event": 3, "holder": 3, "BE": 3, "liabl": 3, "claim": 3, "damag": 3, "other": [3, 5], "liabil": 3, "whether": [3, 4, 5], "action": [3, 4, 5], "contract": 3, "tort": 3, "otherwis": [3, 5], "aris": 3, "from": [3, 4, 5], "out": 3, "WITH": 3, "ar": [4, 5], "solut": 4, "pure": [4, 5], "state": [4, 5], "e": [4, 5], "g": [4, 5], "klyachko": [4, 5], "2004": [4, 5], "introduct": 4, "mathemat": 4, "given": [4, 5], "kroneck": 4, "d_1": [4, 5], "d_2": 4, "d_3": 4, "dot": [4, 5], "times_i": [4, 5], "d_i": [4, 5], "bigotimes_i": [4, 5], "mathbb": [4, 5], "reload": 4, "format": 4, "asctim": 4, "levelnam": 4, "datefmt": 4, "pretti": [4, 5], "h_a": [4, 5], "h_b": [4, 5], "h_c": [4, 5], "z": 4, "remark": 4, "5": 4, "6": [4, 5], "7": [4, 5], "11": 4, "13": 4, "14": 4, "16": [4, 5], "17": 4, "18": 4, "19": 4, "20": 4, "21": 4, "22": 4, "23": 4, "24": 4, "25": 4, "26": 4, "27": 4, "28": 4, "29": 4, "30": 4, "31": 4, "32": 4, "33": 4, "34": 4, "35": 4, "36": 4, "37": 4, "38": 4, "39": 4, "40": 4, "41": 4, "42": 4, "43": 4, "44": 4, "45": 4, "46": 4, "47": 4, "48": 4, "o": 4, "49": 4, "50": 4, "lambda_a": 4, "last": 4, "column": [4, 5], "origin": 4, "highest": [4, 5], "weight": [4, 5], "v_a": 4, "v_b": 4, "v_c": 4, "51": 4, "52": 4, "53": 4, "54": 4, "55": 4, "56": 4, "57": 4, "58": 4, "59": 4, "60": 4, "61": 4, "62": 4, "63": 4, "64": 4, "65": 4, "permut": [4, 5], "subsystem": [4, 5], "show_vrepr": [4, 5], "fals": [4, 5], "h_d": [4, 5], "v_d": 4, "66": 4, "67": 4, "68": 4, "69": 4, "70": 4, "71": 4, "72": 4, "73": 4, "74": 4, "75": 4, "76": 4, "77": 4, "78": 4, "79": 4, "80": 4, "81": 4, "82": 4, "83": 4, "84": 4, "85": 4, "86": 4, "87": 4, "88": 4, "89": 4, "90": 4, "91": 4, "92": 4, "93": 4, "94": 4, "95": 4, "96": 4, "97": 4, "98": 4, "99": 4, "100": 4, "101": 4, "102": 4, "103": 4, "104": 4, "105": 4, "106": 4, "107": 4, "108": 4, "109": 4, "110": 4, "111": 4, "112": 4, "113": 4, "114": 4, "115": 4, "116": 4, "117": 4, "118": 4, "119": 4, "120": 4, "121": 4, "122": 4, "123": 4, "124": 4, "125": 4, "126": 4, "127": 4, "128": 4, "129": 4, "130": 4, "131": 4, "132": 4, "133": 4, "134": 4, "135": 4, "136": 4, "137": 4, "138": 4, "139": 4, "140": 4, "141": 4, "142": 4, "143": 4, "144": 4, "145": 4, "146": 4, "147": 4, "148": 4, "149": 4, "150": 4, "151": 4, "152": 4, "153": 4, "154": 4, "155": 4, "156": 4, "157": 4, "158": 4, "159": 4, "160": 4, "161": 4, "162": 4, "163": 4, "164": 4, "165": 4, "166": 4, "167": 4, "168": 4, "169": 4, "170": 4, "171": 4, "172": 4, "173": 4, "174": 4, "175": 4, "176": 4, "177": 4, "178": 4, "179": 4, "180": 4, "181": 4, "182": 4, "183": 4, "184": 4, "185": 4, "186": 4, "187": 4, "188": 4, "189": 4, "190": 4, "191": 4, "192": 4, "193": 4, "194": 4, "195": 4, "196": 4, "197": 4, "198": 4, "199": 4, "200": 4, "201": 4, "202": 4, "203": 4, "204": 4, "205": 4, "206": 4, "207": 4, "208": 4, "209": 4, "210": 4, "211": 4, "212": 4, "213": 4, "214": 4, "215": 4, "216": 4, "217": 4, "218": 4, "219": 4, "220": 4, "221": 4, "222": 4, "223": 4, "224": 4, "225": 4, "226": 4, "227": 4, "228": 4, "229": 4, "230": 4, "231": 4, "232": 4, "233": 4, "234": 4, "235": 4, "236": 4, "237": 4, "238": 4, "239": 4, "240": 4, "241": 4, "242": 4, "243": 4, "244": 4, "245": 4, "246": 4, "arbitrari": 5, "is_ressayr": 5, "below": 5, "default_failure_prob": 5, "1e": 5, "string": 5, "float": 5, "point": 5, "possibl": 5, "class": 5, "ressayretest": 5, "r": 5, "paramet": 5, "det": 5, "t": 5, "d": 5, "return": 5, "nonzero": 5, "valu": 5, "onli": 5, "matrix": 5, "sum_j": 5, "z_j": 5, "t_j": 5, "quadrat": 5, "index": 5, "vector": 5, "j": 5, "size": 5, "check": 5, "none": 5, "failure_prob": 5, "creat": 5, "object": 5, "batch": 5, "satisfi": 5, "properti": 5, "hyperplan": 5, "cdot": 5, "omega": 5, "span": 5, "admiss": 5, "is_admiss": 5, "neg": 5, "root": 5, "alpha": 5, "equal": 5, "varphi": 5, "correspondingli": 5, "tangent": 5, "map": 5, "isomorph": 5, "By": 5, "form": 5, "complet": 5, "project": 5, "space": 5, "p": 5, "except": 5, "weyl": 5, "chamber": 5, "constraint": 5, "probabilist": 5, "desir": 5, "probabl": 5, "failur": 5, "affect": 5, "correct": 5, "when": 5, "type": 5, "kwarg": 5, "conveni": 5, "accept": 5, "same": 5, "option": 5, "argument": 5, "c_candid": 5, "normal": 5, "integ": 5, "complex": 5, "reduct": 5, "weyl_modul": 5, "external_tensor_product": 5, "concret": 5, "root_system": 5, "system": 5, "correspond": 5, "ambient_dim": 5, "dimens": 5, "ambient": 5, "negative_root": 5, "list": 5, "repeat": 5, "accord": 5, "multipl": 5, "reduced_eqn": 5, "equat": 5, "defin": 5, "affin": 5, "subspac": 5, "dimension_affine_hull_weight": 5, "negative_root_act": 5, "idx_negative_root": 5, "idx_weight_vector": 5, "appli": 5, "lower": 5, "oper": 5, "indic": 5, "respect": 5, "positive_root": 5, "posit": 5, "reduced_positive_weyl_chamber_hrepr": 5, "intersect": 5, "weight_vector": 5, "just": 5, "standard": 5, "basi": 5, "singl": 5, "highest_weight": 5, "irreduc": 5, "weylmodul": 5, "work": 5, "orthogon": 5, "label": 5, "gelfand": 5, "tsetlin": 5, "pattern": 5, "unit": 5, "adjoint": 5, "each": 5, "well": 5, "toru": 5, "gener": 5, "rank": 5, "should": 5, "more": 5, "than": 5, "part": 5, "Will": 5, "pad": 5, "fewer": 5, "construct": 5, "extern": 5, "tensor": 5, "product": 5, "externaltensorproduct": 5, "interpret": 5, "fundament": 5, "positive_weyl_chamber_hrepr": 5, "rootsystem": 5, "is_dual_root_primit": 5, "primit": 5, "dual": 5, "lattic": 5, "rescal": 5, "coordin": 5, "dual_root_primit": 5, "default_subsystem_label": 5, "abcdefghijklmnopqrstuvwxyz": 5, "default": 5, "dim": 5, "ir": 5, "true": 5, "d_n": 5, "factor": 5, "irredun": 5, "forward": 5, "show_hrepr": 5, "include_perm": 5, "subsystem_label": 5, "show": 5, "custom": 5, "h_ab_domin": 5, "b": 5, "candid": 5, "domin": 5, "extrem": 5, "edg": 5, "first": 5, "two": 5, "tupl": 5, "h_abc_domin": 5, "h_dominant_admiss": 5, "h_candid": 5, "h_ressayr": 5, "facet_normal_form": 5, "lambda": 5, "geq": 5, "where": 5, "make": 5, "compon": 5, "traceless": 5, "uniqu": 5, "ieqs_wo_perm": 5, "vertices_wo_perm": 5, "eqn": 5, "light": 5, "store": 5, "polyhedron": 5, "h_1": 5, "x_1": 5, "x_d": 5, "repres": 5, "pair": 5, "likewis": 5, "assum": 5, "full": 5, "sort": 5, "lexicograph": 5, "specifi": 5, "both": 5, "empti": 5, "rais": 5, "valueerror": 5, "neither": 5, "nor": 5, "were": 5, "__contains__": 5, "pt": 5, "bool": 5, "__eq__": 5, "rh": 5, "compar": 5, "warn": 5, "differ": 5, "__and__": 5, "result": 5, "typic": 5, "redund": 5, "static": 5, "from_sag": 5, "instanc": 5, "remov": 5, "potenti": 5, "expens": 5, "implement": 5, "call": 5, "tool": 5, "to_sag": 5, "convex": 5, "describ": 5, "ensur": 5, "bound": 5, "access": 5, "lr": 5, "rai": 5, "lrserror": 5, "cmd": 5, "occur": 5, "while": 5, "invok": 5, "command": 5, "wa": 5, "rect_tableaux": 5, "rectangular": 5, "young": 5, "tableaux": 5, "shape": 5, "time": 5, "row": 5, "standardtableau": 5, "cubicl": 5, "maxim": 5, "a_i": 5, "b_j": 5, "leq": 5, "a_k": 5, "b_l": 5, "leftrightarrow": 5, "t_": 5, "k": 5, "l": 5, "togeth": 5, "sum_i": 5, "addit": 5, "doe": 5, "cubicle_tableaux": 5, "is_domin": 5, "v_0": 5, "v_1": 5, "is_extremal_edg": 5, "assert_domin": 5, "assert_primit": 5, "assert_traceless": 5, "That": 5, "verifi": 5, "h_n": 5, "su": 5, "prod_i": 5, "local": 5, "unitari": 5, "length": 5, "is_extremal_edge_ieq": 5, "extremal_edg": 5, "bipartit": 5, "perms_of_length": 5, "s_n": 5, "invers": 5, "webhom": 5, "uvic": 5, "ca": 5, "ruskei": 5, "public": 5, "inversioncat": 5, "pdf": 5, "length_tupl": 5, "total": 5, "ell_1": 5, "ell_n": 5, "ell_i": 5, "choos": 5, "sum": 5, "is_shuffl": 5, "pi": 5, "shuffl": 5, "v_i": 5, "v_": 5, "rightarrow": 5, "pi_i": 5, "pi_": 5, "is_antishuffl": 5, "antishuffl": 5, "s_": 5, "lvert": 5, "rvert": 5, "antilength": 5, "perm_act": 5, "left": 5, "_i": 5, "_": 5, "stabilizergroup": 5, "stabil": 5, "s_v": 5, "subseteq": 5, "block": 5, "normal_form": 5, "orbit": 5, "under": 5, "hs_iter": 5, "collect": 5, "them": 5, "third_parti": 5, "klyachko_fermi_scenario": 5, "scenario": 5, "anti": 5, "symmetr": 5, "power": 5, "bigwedg": 5, "klyachko_fermi_hrepr": 5, "bare": 5, "altunbulak": 5, "2008": 5, "antisymmetr": 5, "reduc": 5, "omit": 5, "klyachko_qmp_scenario": 5, "klyachko_good_qmp_scenario": 5, "which": 5, "mistak": 5, "klyachko_qmp_hrepr": 5, "sub": 5, "__version__": 5, "dev0": 5, "disk_cach": 5, "disk_cache_dir": 5, "user": 5, "cach": 5, "directori": 5, "decor": 5, "wrap": 5, "onc": 5, "retriev": 5, "disk": 5, "util": 5, "dim_affine_hul": 5, "hull": 5}, "objects": {"": [[5, 0, 0, "-", "moment_polytopes"]], "moment_polytopes": [[5, 1, 1, "", "DEFAULT_FAILURE_PROBABILITY"], [5, 2, 1, "", "HRepr"], [5, 2, 1, "", "LrsError"], [5, 2, 1, "", "Representation"], [5, 2, 1, "", "RessayreTester"], [5, 2, 1, "", "StabilizerGroup"], [5, 2, 1, "", "VRepr"], [5, 1, 1, "", "__version__"], [5, 6, 1, "", "antishuffles"], [5, 6, 1, "", "c_candidates"], [5, 6, 1, "", "cubicle"], [5, 6, 1, "", "cubicle_tableaux"], [5, 6, 1, "", "dual_root_primitive"], [5, 6, 1, "", "external_tensor_product"], [5, 6, 1, "", "extremal_edges"], [5, 6, 1, "", "is_admissible"], [5, 6, 1, "", "is_antishuffle"], [5, 6, 1, "", "is_dominant"], [5, 6, 1, "", "is_dual_root_primitive"], [5, 6, 1, "", "is_extremal_edge"], [5, 6, 1, "", "is_extremal_edge_ieq"], [5, 6, 1, "", "is_ressayre"], [5, 6, 1, "", "is_shuffle"], [5, 6, 1, "", "length_tuples"], [5, 6, 1, "", "perm_action"], [5, 6, 1, "", "perms_of_length"], [5, 6, 1, "", "positive_weyl_chamber_hrepr"], [5, 6, 1, "", "rect_tableaux"], [5, 6, 1, "", "ressayre_tester"], [5, 6, 1, "", "shuffles"], [5, 6, 1, "", "weyl_module"]], "moment_polytopes.HRepr": [[5, 3, 1, "", "__and__"], [5, 3, 1, "", "__contains__"], [5, 3, 1, "", "__eq__"], [5, 4, 1, "", "ambient_dim"], [5, 4, 1, "", "eqns"], [5, 3, 1, "", "from_sage"], [5, 4, 1, "", "ieqs"], [5, 3, 1, "", "irred"], [5, 3, 1, "", "to_sage"], [5, 3, 1, "", "vertices"], [5, 3, 1, "", "vrepr"]], "moment_polytopes.LrsError": [[5, 4, 1, "", "cmd"], [5, 4, 1, "", "message"]], "moment_polytopes.Representation": [[5, 4, 1, "", "ambient_dim"], [5, 5, 1, "", "dimension"], [5, 5, 1, "", "dimension_affine_hull_weights"], [5, 3, 1, "", "negative_root_action"], [5, 4, 1, "", "negative_roots"], [5, 5, 1, "", "positive_roots"], [5, 4, 1, "", "reduced_eqns"], [5, 5, 1, "", "reduced_positive_weyl_chamber_hrepr"], [5, 4, 1, "", "root_system"], [5, 3, 1, "", "weight_vector"], [5, 4, 1, "", "weights"]], "moment_polytopes.RessayreTester": [[5, 3, 1, "", "det"], [5, 3, 1, "", "is_ressayre"], [5, 4, 1, "", "representation"]], "moment_polytopes.StabilizerGroup": [[5, 4, 1, "", "blocks"], [5, 3, 1, "", "normal_form"], [5, 3, 1, "", "orbit"], [5, 4, 1, "", "v"]], "moment_polytopes.VRepr": [[5, 3, 1, "", "__eq__"], [5, 4, 1, "", "ambient_dim"], [5, 3, 1, "", "from_sage"], [5, 3, 1, "", "hrepr"], [5, 4, 1, "", "lines"], [5, 4, 1, "", "rays"], [5, 3, 1, "", "to_sage"], [5, 4, 1, "", "vertices"]], "moment_polytopes.disk_cache": [[5, 1, 1, "", "DISK_CACHE_DIR"], [5, 6, 1, "", "disk_cache"]], "moment_polytopes.qmp": [[5, 1, 1, "", "DEFAULT_SUBSYSTEM_LABELS"], [5, 6, 1, "", "H_ABC_dominant"], [5, 6, 1, "", "H_AB_dominant"], [5, 6, 1, "", "H_candidates"], [5, 6, 1, "", "H_dominant_admissible"], [5, 6, 1, "", "H_ressayre"], [5, 6, 1, "", "facet_normal_form"], [5, 6, 1, "", "hrepr"], [5, 6, 1, "", "ieqs_wo_perms"], [5, 6, 1, "", "pretty"], [5, 6, 1, "", "vertices_wo_perms"], [5, 6, 1, "", "vrepr"]], "moment_polytopes.third_party": [[5, 1, 1, "", "KLYACHKO_FERMI_SCENARIOS"], [5, 1, 1, "", "KLYACHKO_GOOD_QMP_SCENARIOS"], [5, 1, 1, "", "KLYACHKO_QMP_SCENARIOS"], [5, 6, 1, "", "klyachko_fermi_hrepr"], [5, 6, 1, "", "klyachko_qmp_hrepr"]], "moment_polytopes.utils": [[5, 6, 1, "", "dim_affine_hull"]]}, "objtypes": {"0": "py:module", "1": "py:data", "2": "py:class", "3": "py:method", "4": "py:attribute", "5": "py:property", "6": "py:function"}, "objnames": {"0": ["py", "module", "Python module"], "1": ["py", "data", "Python data"], "2": ["py", "class", "Python class"], "3": ["py", "method", "Python method"], "4": ["py", "attribute", "Python attribute"], "5": ["py", "property", "Python property"], "6": ["py", "function", "Python function"]}, "titleterms": {"changelog": 0, "version": 0, "1": 0, "0": 0, "welcom": 1, "introduct": 1, "document": 1, "citat": 1, "instal": 2, "troubleshoot": 2, "mathematica": 2, "integr": 2, "licens": 3, "quantum": [4, 5], "margin": [4, 5], "problem": [4, 5], "c": 4, "4": 4, "2": 4, "3": 4, "12": 4, "further": 4, "exampl": 4, "refer": 5, "ressayr": 5, "element": 5, "represent": 5, "polyhedra": 5, "combinator": 5, "third": 5, "parti": 5, "data": 5, "intern": 5}, "envversion": {"sphinx.domains.c": 2, "sphinx.domains.changeset": 1, "sphinx.domains.citation": 1, "sphinx.domains.cpp": 8, "sphinx.domains.index": 1, "sphinx.domains.javascript": 2, "sphinx.domains.math": 2, "sphinx.domains.python": 3, "sphinx.domains.rst": 2, "sphinx.domains.std": 2, "sphinx.ext.intersphinx": 1, "sphinx": 57}, "alltitles": {"Changelog": [[0, "changelog"]], "Version 1.1": [[0, "version-1-1"]], "Version 1.0": [[0, "version-1-0"]], "Welcome!": [[1, "welcome"]], "Introduction": [[1, "introduction"]], "Documentation": [[1, "documentation"]], "Citation": [[1, "citation"]], "License": [[3, "license"]], "Reference": [[5, "module-moment_polytopes"]], "Ressayre Elements": [[5, "ressayre-elements"]], "Representations": [[5, "representations"]], "Quantum Marginal Problem": [[5, "quantum-marginal-problem"]], "Polyhedra": [[5, "polyhedra"]], "Combinatorics": [[5, "combinatorics"]], "Third-Party Data": [[5, "third-party-data"]], "Internals": [[5, "internals"]], "Installation": [[2, "installation"]], "Troubleshooting": [[2, "troubleshooting"]], "Mathematica Integration": [[2, "mathematica-integration"]], "Quantum Marginal Problems": [[4, "quantum-marginal-problems"]], "C(4,4,4)": [[4, "c-4-4-4"]], "C(2,2,3,12)": [[4, "c-2-2-3-12"]], "Further Examples": [[4, "further-examples"]]}, "indexentries": {}}) \ No newline at end of file +Search.setIndex({"docnames": ["changes", "index", "installation", "license", "qmp", "reference"], "filenames": ["changes.rst", "index.rst", "installation.rst", "license.rst", "qmp.rst", "reference.rst"], "titles": ["Changelog", "moment_polytopes", "Installation", "License", "Quantum Marginal Problems", "Reference"], "terms": {"upcom": 0, "releas": 0, "add": 0, "support": [0, 5], "ration": [0, 5], "represent": [0, 1], "gl": [0, 4, 5], "n": [0, 5], "document": [0, 3], "log": [0, 1, 4], "featur": 0, "initi": 0, "thi": [1, 2, 3, 5], "i": [1, 2, 3, 4, 5], "sagemath": [1, 2], "packag": [1, 2], "comput": [1, 5], "moment": [1, 4, 5], "polytop": [1, 4, 5], "associ": [1, 3, 5], "finit": [1, 5], "dimension": [1, 5], "compact": [1, 5], "connect": [1, 3, 5], "lie": [1, 5], "group": [1, 5], "base": [1, 5], "algorithm": [1, 2, 4, 5], "propos": 1, "vergn": [1, 5], "walter": [1, 3, 4, 5], "2014": [1, 3, 4, 5], "see": [1, 4, 5], "also": [1, 5], "further": [1, 2], "detail": 1, "The": [1, 3, 4, 5], "follow": [1, 2, 3, 4, 5], "code": 1, "solv": 1, "one": 1, "bodi": 1, "quantum": 1, "margin": 1, "problem": 1, "three": [1, 5], "qubit": 1, "import": [1, 4], "moment_polytop": [1, 2, 4, 5], "enabl": 1, "basicconfig": [1, 4], "level": [1, 4], "debug": [1, 4], "h": [1, 5], "three_qubit": [1, 2], "2": [1, 5], "hrepr": [1, 5], "qmp": [1, 4, 5], "print": [1, 2, 5], "f": [1, 2, 5], "len": 1, "ieq": [1, 5], "facet": [1, 4, 5], "convert": [1, 5], "v": [1, 5], "vrepr": [1, 5], "vertic": [1, 4, 5], "you": [1, 2], "can": [1, 2, 5], "instal": 1, "latest": 1, "version": [1, 5], "sage": [1, 2, 5], "lrslib": [1, 5], "pip": [1, 2], "git": [1, 2], "github": [1, 2], "com": [1, 2], "qi": [1, 2], "rub": [1, 2], "upgrad": 1, "now": 1, "download": [1, 2], "py": [1, 2], "exampl": [1, 2], "run": [1, 2], "via": 1, "troubleshoot": 1, "we": [1, 2, 5], "have": [1, 5], "us": [1, 2, 3, 5], "variou": 1, "mathematica": [1, 4, 5], "integr": [1, 5], "c": [1, 5], "4": [1, 5], "3": [1, 5], "12": [1, 5], "refer": 1, "ressayr": 1, "element": 1, "polyhedra": 1, "combinator": 1, "third": 1, "parti": 1, "data": [1, 4], "intern": 1, "changelog": 1, "1": [1, 4, 5], "0": [1, 4, 5], "licens": 1, "If": [1, 2, 5], "softwar": [1, 3], "pleas": [1, 2], "consid": 1, "cite": 1, "our": [1, 5], "articl": 1, "author": [1, 3], "m": [1, 4], "titl": 1, "inequ": [1, 5], "cone": 1, "journal": 1, "symplect": 1, "geometri": 1, "year": 1, "2017": [1, 3], "volum": 1, "15": [1, 4], "number": [1, 4, 5], "page": 1, "1209": 1, "1250": 1, "eprint": 1, "1410": 1, "8144": 1, "doi": 1, "10": [1, 4, 5], "4310": 1, "jsg": 1, "v15": 1, "n4": 1, "a8": 1, "note": 1, "avail": [1, 2, 5], "url": 1, "http": [1, 5], "io": 1, "requir": [2, 5], "9": [2, 4, 5], "8": [2, 4, 5], "higher": 2, "It": 2, "To": 2, "test": [2, 5], "your": 2, "second": [2, 5], "line": [2, 5], "get": 2, "an": [2, 3, 4, 5], "error": [2, 5], "messag": [2, 4, 5], "sai": 2, "configur": 2, "locat": 2, "tl": 2, "ssl": 2, "howev": 2, "modul": [2, 5], "python": 2, "retri": 2, "openssl": 2, "python2": 2, "wolfram": 2, "contain": [2, 5], "some": [2, 4, 5], "clever": 2, "heurist": 2, "evalu": [2, 5], "determin": [2, 5], "polynomi": [2, 5], "matric": [2, 5], "provid": [2, 3], "ressayre_test": [2, 5], "etc": 2, "leverag": 2, "its": [2, 5], "function": [2, 5], "need": [2, 5], "math": 2, "execut": 2, "ha": [2, 5], "current": [2, 5], "path": 2, "_install_hint": 2, "prompt": 2, "inform": 2, "how": 2, "set": [2, 5], "up": [2, 4, 5], "": [2, 4, 5], "copyright": 3, "michael": [3, 5], "permiss": 3, "herebi": 3, "grant": 3, "free": 3, "charg": 3, "ani": [3, 5], "person": 3, "obtain": 3, "copi": 3, "file": 3, "deal": 3, "without": [3, 5], "restrict": [3, 5], "includ": [3, 4, 5], "limit": 3, "right": 3, "modifi": 3, "merg": 3, "publish": 3, "distribut": 3, "sublicens": 3, "sell": 3, "permit": 3, "whom": 3, "furnish": 3, "do": [3, 5], "so": [3, 5], "subject": [3, 4], "condit": [3, 5], "abov": 3, "notic": 3, "shall": 3, "all": [3, 4, 5], "substanti": 3, "portion": 3, "THE": 3, "AS": 3, "warranti": 3, "OF": 3, "kind": 3, "express": 3, "OR": 3, "impli": 3, "BUT": 3, "NOT": 3, "TO": 3, "merchant": 3, "fit": 3, "FOR": 3, "A": [3, 5], "particular": 3, "purpos": 3, "AND": 3, "noninfring": 3, "IN": 3, "NO": 3, "event": 3, "holder": 3, "BE": 3, "liabl": 3, "claim": 3, "damag": 3, "other": [3, 5], "liabil": 3, "whether": [3, 4, 5], "action": [3, 4, 5], "contract": 3, "tort": 3, "otherwis": [3, 5], "aris": 3, "from": [3, 4, 5], "out": 3, "WITH": 3, "ar": [4, 5], "solut": 4, "pure": [4, 5], "state": [4, 5], "e": [4, 5], "g": [4, 5], "klyachko": [4, 5], "2004": [4, 5], "introduct": 4, "mathemat": 4, "given": [4, 5], "kroneck": 4, "d_1": [4, 5], "d_2": 4, "d_3": 4, "dot": [4, 5], "times_i": [4, 5], "d_i": [4, 5], "bigotimes_i": [4, 5], "mathbb": [4, 5], "reload": 4, "format": 4, "asctim": 4, "levelnam": 4, "datefmt": 4, "pretti": [4, 5], "h_a": [4, 5], "h_b": [4, 5], "h_c": [4, 5], "z": 4, "remark": 4, "5": 4, "6": [4, 5], "7": [4, 5], "11": 4, "13": 4, "14": 4, "16": [4, 5], "17": 4, "18": 4, "19": 4, "20": 4, "21": 4, "22": 4, "23": 4, "24": 4, "25": 4, "26": 4, "27": 4, "28": 4, "29": 4, "30": 4, "31": 4, "32": 4, "33": 4, "34": 4, "35": 4, "36": 4, "37": 4, "38": 4, "39": 4, "40": 4, "41": 4, "42": 4, "43": 4, "44": 4, "45": 4, "46": 4, "47": 4, "48": 4, "o": 4, "49": 4, "50": 4, "lambda_a": 4, "last": 4, "column": [4, 5], "origin": 4, "highest": [4, 5], "weight": [4, 5], "v_a": 4, "v_b": 4, "v_c": 4, "51": 4, "52": 4, "53": 4, "54": 4, "55": 4, "56": 4, "57": 4, "58": 4, "59": 4, "60": 4, "61": 4, "62": 4, "63": 4, "64": 4, "65": 4, "permut": [4, 5], "subsystem": [4, 5], "show_vrepr": [4, 5], "fals": [4, 5], "h_d": [4, 5], "v_d": 4, "66": 4, "67": 4, "68": 4, "69": 4, "70": 4, "71": 4, "72": 4, "73": 4, "74": 4, "75": 4, "76": 4, "77": 4, "78": 4, "79": 4, "80": 4, "81": 4, "82": 4, "83": 4, "84": 4, "85": 4, "86": 4, "87": 4, "88": 4, "89": 4, "90": 4, "91": 4, "92": 4, "93": 4, "94": 4, "95": 4, "96": 4, "97": 4, "98": 4, "99": 4, "100": 4, "101": 4, "102": 4, "103": 4, "104": 4, "105": 4, "106": 4, "107": 4, "108": 4, "109": 4, "110": 4, "111": 4, "112": 4, "113": 4, "114": 4, "115": 4, "116": 4, "117": 4, "118": 4, "119": 4, "120": 4, "121": 4, "122": 4, "123": 4, "124": 4, "125": 4, "126": 4, "127": 4, "128": 4, "129": 4, "130": 4, "131": 4, "132": 4, "133": 4, "134": 4, "135": 4, "136": 4, "137": 4, "138": 4, "139": 4, "140": 4, "141": 4, "142": 4, "143": 4, "144": 4, "145": 4, "146": 4, "147": 4, "148": 4, "149": 4, "150": 4, "151": 4, "152": 4, "153": 4, "154": 4, "155": 4, "156": 4, "157": 4, "158": 4, "159": 4, "160": 4, "161": 4, "162": 4, "163": 4, "164": 4, "165": 4, "166": 4, "167": 4, "168": 4, "169": 4, "170": 4, "171": 4, "172": 4, "173": 4, "174": 4, "175": 4, "176": 4, "177": 4, "178": 4, "179": 4, "180": 4, "181": 4, "182": 4, "183": 4, "184": 4, "185": 4, "186": 4, "187": 4, "188": 4, "189": 4, "190": 4, "191": 4, "192": 4, "193": 4, "194": 4, "195": 4, "196": 4, "197": 4, "198": 4, "199": 4, "200": 4, "201": 4, "202": 4, "203": 4, "204": 4, "205": 4, "206": 4, "207": 4, "208": 4, "209": 4, "210": 4, "211": 4, "212": 4, "213": 4, "214": 4, "215": 4, "216": 4, "217": 4, "218": 4, "219": 4, "220": 4, "221": 4, "222": 4, "223": 4, "224": 4, "225": 4, "226": 4, "227": 4, "228": 4, "229": 4, "230": 4, "231": 4, "232": 4, "233": 4, "234": 4, "235": 4, "236": 4, "237": 4, "238": 4, "239": 4, "240": 4, "241": 4, "242": 4, "243": 4, "244": 4, "245": 4, "246": 4, "arbitrari": 5, "is_ressayr": 5, "below": 5, "default_failure_prob": 5, "1e": 5, "string": 5, "float": 5, "point": 5, "possibl": 5, "class": 5, "ressayretest": 5, "r": 5, "paramet": 5, "det": 5, "t": 5, "d": 5, "return": 5, "nonzero": 5, "valu": 5, "onli": 5, "matrix": 5, "sum_j": 5, "z_j": 5, "t_j": 5, "quadrat": 5, "index": 5, "vector": 5, "j": 5, "size": 5, "check": 5, "none": 5, "failure_prob": 5, "creat": 5, "object": 5, "batch": 5, "satisfi": 5, "properti": 5, "hyperplan": 5, "cdot": 5, "omega": 5, "span": 5, "admiss": 5, "is_admiss": 5, "neg": 5, "root": 5, "alpha": 5, "equal": 5, "varphi": 5, "correspondingli": 5, "tangent": 5, "map": 5, "isomorph": 5, "By": 5, "form": 5, "complet": 5, "project": 5, "space": 5, "p": 5, "except": 5, "weyl": 5, "chamber": 5, "constraint": 5, "probabilist": 5, "desir": 5, "probabl": 5, "failur": 5, "affect": 5, "correct": 5, "when": 5, "type": 5, "kwarg": 5, "conveni": 5, "accept": 5, "same": 5, "option": 5, "argument": 5, "c_candid": 5, "normal": 5, "integ": 5, "complex": 5, "reduct": 5, "weyl_modul": 5, "external_tensor_product": 5, "concret": 5, "root_system": 5, "system": 5, "correspond": 5, "ambient_dim": 5, "dimens": 5, "ambient": 5, "negative_root": 5, "list": 5, "repeat": 5, "accord": 5, "multipl": 5, "reduced_eqn": 5, "equat": 5, "defin": 5, "affin": 5, "subspac": 5, "dimension_affine_hull_weight": 5, "negative_root_act": 5, "idx_negative_root": 5, "idx_weight_vector": 5, "appli": 5, "lower": 5, "oper": 5, "indic": 5, "respect": 5, "positive_root": 5, "posit": 5, "reduced_positive_weyl_chamber_hrepr": 5, "intersect": 5, "weight_vector": 5, "just": 5, "standard": 5, "basi": 5, "singl": 5, "highest_weight": 5, "irreduc": 5, "weylmodul": 5, "work": 5, "orthogon": 5, "label": 5, "gelfand": 5, "tsetlin": 5, "pattern": 5, "unit": 5, "adjoint": 5, "each": 5, "well": 5, "toru": 5, "gener": 5, "rank": 5, "should": 5, "more": 5, "than": 5, "part": 5, "Will": 5, "pad": 5, "fewer": 5, "construct": 5, "extern": 5, "tensor": 5, "product": 5, "externaltensorproduct": 5, "interpret": 5, "fundament": 5, "positive_weyl_chamber_hrepr": 5, "rootsystem": 5, "is_dual_root_primit": 5, "primit": 5, "dual": 5, "lattic": 5, "rescal": 5, "coordin": 5, "dual_root_primit": 5, "default_subsystem_label": 5, "abcdefghijklmnopqrstuvwxyz": 5, "default": 5, "dim": 5, "ir": 5, "true": 5, "d_n": 5, "factor": 5, "irredun": 5, "forward": 5, "show_hrepr": 5, "include_perm": 5, "subsystem_label": 5, "show": 5, "custom": 5, "h_ab_domin": 5, "b": 5, "candid": 5, "domin": 5, "extrem": 5, "edg": 5, "first": 5, "two": 5, "tupl": 5, "h_abc_domin": 5, "h_dominant_admiss": 5, "h_candid": 5, "h_ressayr": 5, "facet_normal_form": 5, "lambda": 5, "geq": 5, "where": 5, "make": 5, "compon": 5, "traceless": 5, "uniqu": 5, "ieqs_wo_perm": 5, "vertices_wo_perm": 5, "eqn": 5, "light": 5, "store": 5, "polyhedron": 5, "h_1": 5, "x_1": 5, "x_d": 5, "repres": 5, "pair": 5, "likewis": 5, "assum": 5, "full": 5, "sort": 5, "lexicograph": 5, "specifi": 5, "both": 5, "empti": 5, "rais": 5, "valueerror": 5, "neither": 5, "nor": 5, "were": 5, "__contains__": 5, "pt": 5, "bool": 5, "__eq__": 5, "rh": 5, "compar": 5, "warn": 5, "differ": 5, "__and__": 5, "result": 5, "typic": 5, "redund": 5, "static": 5, "from_sag": 5, "instanc": 5, "remov": 5, "potenti": 5, "expens": 5, "implement": 5, "call": 5, "tool": 5, "to_sag": 5, "convex": 5, "describ": 5, "ensur": 5, "bound": 5, "access": 5, "lr": 5, "rai": 5, "lrserror": 5, "cmd": 5, "occur": 5, "while": 5, "invok": 5, "command": 5, "wa": 5, "rect_tableaux": 5, "rectangular": 5, "young": 5, "tableaux": 5, "shape": 5, "time": 5, "row": 5, "standardtableau": 5, "cubicl": 5, "maxim": 5, "a_i": 5, "b_j": 5, "leq": 5, "a_k": 5, "b_l": 5, "leftrightarrow": 5, "t_": 5, "k": 5, "l": 5, "togeth": 5, "sum_i": 5, "addit": 5, "doe": 5, "cubicle_tableaux": 5, "is_domin": 5, "v_0": 5, "v_1": 5, "is_extremal_edg": 5, "assert_domin": 5, "assert_primit": 5, "assert_traceless": 5, "That": 5, "verifi": 5, "h_n": 5, "su": 5, "prod_i": 5, "local": 5, "unitari": 5, "length": 5, "is_extremal_edge_ieq": 5, "extremal_edg": 5, "bipartit": 5, "perms_of_length": 5, "s_n": 5, "invers": 5, "webhom": 5, "uvic": 5, "ca": 5, "ruskei": 5, "public": 5, "inversioncat": 5, "pdf": 5, "length_tupl": 5, "total": 5, "ell_1": 5, "ell_n": 5, "ell_i": 5, "choos": 5, "sum": 5, "is_shuffl": 5, "pi": 5, "shuffl": 5, "v_i": 5, "v_": 5, "rightarrow": 5, "pi_i": 5, "pi_": 5, "is_antishuffl": 5, "antishuffl": 5, "s_": 5, "lvert": 5, "rvert": 5, "antilength": 5, "perm_act": 5, "left": 5, "_i": 5, "_": 5, "stabilizergroup": 5, "stabil": 5, "s_v": 5, "subseteq": 5, "block": 5, "normal_form": 5, "orbit": 5, "under": 5, "hs_iter": 5, "collect": 5, "them": 5, "third_parti": 5, "klyachko_fermi_scenario": 5, "scenario": 5, "anti": 5, "symmetr": 5, "power": 5, "bigwedg": 5, "klyachko_fermi_hrepr": 5, "bare": 5, "altunbulak": 5, "2008": 5, "antisymmetr": 5, "reduc": 5, "omit": 5, "klyachko_qmp_scenario": 5, "klyachko_good_qmp_scenario": 5, "which": 5, "mistak": 5, "klyachko_qmp_hrepr": 5, "sub": 5, "__version__": 5, "dev0": 5, "disk_cach": 5, "disk_cache_dir": 5, "user": 5, "cach": 5, "directori": 5, "decor": 5, "wrap": 5, "onc": 5, "retriev": 5, "disk": 5, "util": 5, "dim_affine_hul": 5, "hull": 5}, "objects": {"": [[5, 0, 0, "-", "moment_polytopes"]], "moment_polytopes": [[5, 1, 1, "", "DEFAULT_FAILURE_PROBABILITY"], [5, 2, 1, "", "HRepr"], [5, 2, 1, "", "LrsError"], [5, 2, 1, "", "Representation"], [5, 2, 1, "", "RessayreTester"], [5, 2, 1, "", "StabilizerGroup"], [5, 2, 1, "", "VRepr"], [5, 1, 1, "", "__version__"], [5, 6, 1, "", "antishuffles"], [5, 6, 1, "", "c_candidates"], [5, 6, 1, "", "cubicle"], [5, 6, 1, "", "cubicle_tableaux"], [5, 6, 1, "", "dual_root_primitive"], [5, 6, 1, "", "external_tensor_product"], [5, 6, 1, "", "extremal_edges"], [5, 6, 1, "", "is_admissible"], [5, 6, 1, "", "is_antishuffle"], [5, 6, 1, "", "is_dominant"], [5, 6, 1, "", "is_dual_root_primitive"], [5, 6, 1, "", "is_extremal_edge"], [5, 6, 1, "", "is_extremal_edge_ieq"], [5, 6, 1, "", "is_ressayre"], [5, 6, 1, "", "is_shuffle"], [5, 6, 1, "", "length_tuples"], [5, 6, 1, "", "perm_action"], [5, 6, 1, "", "perms_of_length"], [5, 6, 1, "", "positive_weyl_chamber_hrepr"], [5, 6, 1, "", "rect_tableaux"], [5, 6, 1, "", "ressayre_tester"], [5, 6, 1, "", "shuffles"], [5, 6, 1, "", "weyl_module"]], "moment_polytopes.HRepr": [[5, 3, 1, "", "__and__"], [5, 3, 1, "", "__contains__"], [5, 3, 1, "", "__eq__"], [5, 4, 1, "", "ambient_dim"], [5, 4, 1, "", "eqns"], [5, 3, 1, "", "from_sage"], [5, 4, 1, "", "ieqs"], [5, 3, 1, "", "irred"], [5, 3, 1, "", "to_sage"], [5, 3, 1, "", "vertices"], [5, 3, 1, "", "vrepr"]], "moment_polytopes.LrsError": [[5, 4, 1, "", "cmd"], [5, 4, 1, "", "message"]], "moment_polytopes.Representation": [[5, 4, 1, "", "ambient_dim"], [5, 5, 1, "", "dimension"], [5, 5, 1, "", "dimension_affine_hull_weights"], [5, 3, 1, "", "negative_root_action"], [5, 4, 1, "", "negative_roots"], [5, 5, 1, "", "positive_roots"], [5, 4, 1, "", "reduced_eqns"], [5, 5, 1, "", "reduced_positive_weyl_chamber_hrepr"], [5, 4, 1, "", "root_system"], [5, 3, 1, "", "weight_vector"], [5, 4, 1, "", "weights"]], "moment_polytopes.RessayreTester": [[5, 3, 1, "", "det"], [5, 3, 1, "", "is_ressayre"], [5, 4, 1, "", "representation"]], "moment_polytopes.StabilizerGroup": [[5, 4, 1, "", "blocks"], [5, 3, 1, "", "normal_form"], [5, 3, 1, "", "orbit"], [5, 4, 1, "", "v"]], "moment_polytopes.VRepr": [[5, 3, 1, "", "__eq__"], [5, 4, 1, "", "ambient_dim"], [5, 3, 1, "", "from_sage"], [5, 3, 1, "", "hrepr"], [5, 4, 1, "", "lines"], [5, 4, 1, "", "rays"], [5, 3, 1, "", "to_sage"], [5, 4, 1, "", "vertices"]], "moment_polytopes.disk_cache": [[5, 1, 1, "", "DISK_CACHE_DIR"], [5, 6, 1, "", "disk_cache"]], "moment_polytopes.qmp": [[5, 1, 1, "", "DEFAULT_SUBSYSTEM_LABELS"], [5, 6, 1, "", "H_ABC_dominant"], [5, 6, 1, "", "H_AB_dominant"], [5, 6, 1, "", "H_candidates"], [5, 6, 1, "", "H_dominant_admissible"], [5, 6, 1, "", "H_ressayre"], [5, 6, 1, "", "facet_normal_form"], [5, 6, 1, "", "hrepr"], [5, 6, 1, "", "ieqs_wo_perms"], [5, 6, 1, "", "pretty"], [5, 6, 1, "", "vertices_wo_perms"], [5, 6, 1, "", "vrepr"]], "moment_polytopes.third_party": [[5, 1, 1, "", "KLYACHKO_FERMI_SCENARIOS"], [5, 1, 1, "", "KLYACHKO_GOOD_QMP_SCENARIOS"], [5, 1, 1, "", "KLYACHKO_QMP_SCENARIOS"], [5, 6, 1, "", "klyachko_fermi_hrepr"], [5, 6, 1, "", "klyachko_qmp_hrepr"]], "moment_polytopes.utils": [[5, 6, 1, "", "dim_affine_hull"]]}, "objtypes": {"0": "py:module", "1": "py:data", "2": "py:class", "3": "py:method", "4": "py:attribute", "5": "py:property", "6": "py:function"}, "objnames": {"0": ["py", "module", "Python module"], "1": ["py", "data", "Python data"], "2": ["py", "class", "Python class"], "3": ["py", "method", "Python method"], "4": ["py", "attribute", "Python attribute"], "5": ["py", "property", "Python property"], "6": ["py", "function", "Python function"]}, "titleterms": {"changelog": 0, "version": 0, "1": 0, "0": 0, "welcom": 1, "introduct": 1, "document": 1, "citat": 1, "instal": 2, "troubleshoot": 2, "mathematica": 2, "integr": 2, "licens": 3, "quantum": [4, 5], "margin": [4, 5], "problem": [4, 5], "c": 4, "4": 4, "2": 4, "3": 4, "12": 4, "further": 4, "exampl": 4, "refer": 5, "ressayr": 5, "element": 5, "represent": 5, "polyhedra": 5, "combinator": 5, "third": 5, "parti": 5, "data": 5, "intern": 5}, "envversion": {"sphinx.domains.c": 2, "sphinx.domains.changeset": 1, "sphinx.domains.citation": 1, "sphinx.domains.cpp": 8, "sphinx.domains.index": 1, "sphinx.domains.javascript": 2, "sphinx.domains.math": 2, "sphinx.domains.python": 3, "sphinx.domains.rst": 2, "sphinx.domains.std": 2, "sphinx.ext.intersphinx": 1, "sphinx": 57}, "alltitles": {"Changelog": [[0, "changelog"]], "Version 1.1": [[0, "version-1-1"]], "Version 1.0": [[0, "version-1-0"]], "Welcome!": [[1, "welcome"]], "Introduction": [[1, "introduction"]], "Documentation": [[1, "documentation"]], "Citation": [[1, "citation"]], "Installation": [[2, "installation"]], "Troubleshooting": [[2, "troubleshooting"]], "Mathematica Integration": [[2, "mathematica-integration"]], "License": [[3, "license"]], "Quantum Marginal Problems": [[4, "quantum-marginal-problems"]], "C(4,4,4)": [[4, "c-4-4-4"]], "C(2,2,3,12)": [[4, "c-2-2-3-12"]], "Further Examples": [[4, "further-examples"]], "Reference": [[5, "module-moment_polytopes"]], "Ressayre Elements": [[5, "ressayre-elements"]], "Representations": [[5, "representations"]], "Quantum Marginal Problem": [[5, "quantum-marginal-problem"]], "Polyhedra": [[5, "polyhedra"]], "Combinatorics": [[5, "combinatorics"]], "Third-Party Data": [[5, "third-party-data"]], "Internals": [[5, "internals"]]}, "indexentries": {"default_failure_probability (in module moment_polytopes)": [[5, "moment_polytopes.DEFAULT_FAILURE_PROBABILITY"]], "default_subsystem_labels (in module moment_polytopes.qmp)": [[5, "moment_polytopes.qmp.DEFAULT_SUBSYSTEM_LABELS"]], "disk_cache_dir (in module moment_polytopes.disk_cache)": [[5, "moment_polytopes.disk_cache.DISK_CACHE_DIR"]], "hrepr (class in moment_polytopes)": [[5, "moment_polytopes.HRepr"]], "h_abc_dominant() (in module moment_polytopes.qmp)": [[5, "moment_polytopes.qmp.H_ABC_dominant"]], "h_ab_dominant() (in module moment_polytopes.qmp)": [[5, "moment_polytopes.qmp.H_AB_dominant"]], "h_candidates() (in module moment_polytopes.qmp)": [[5, "moment_polytopes.qmp.H_candidates"]], "h_dominant_admissible() (in module moment_polytopes.qmp)": [[5, "moment_polytopes.qmp.H_dominant_admissible"]], "h_ressayre() (in module moment_polytopes.qmp)": [[5, "moment_polytopes.qmp.H_ressayre"]], "klyachko_fermi_scenarios (in module moment_polytopes.third_party)": [[5, "moment_polytopes.third_party.KLYACHKO_FERMI_SCENARIOS"]], "klyachko_good_qmp_scenarios (in module moment_polytopes.third_party)": [[5, "moment_polytopes.third_party.KLYACHKO_GOOD_QMP_SCENARIOS"]], "klyachko_qmp_scenarios (in module moment_polytopes.third_party)": [[5, "moment_polytopes.third_party.KLYACHKO_QMP_SCENARIOS"]], "lrserror (class in moment_polytopes)": [[5, "moment_polytopes.LrsError"]], "representation (class in moment_polytopes)": [[5, "moment_polytopes.Representation"]], "ressayretester (class in moment_polytopes)": [[5, "moment_polytopes.RessayreTester"]], "stabilizergroup (class in moment_polytopes)": [[5, "moment_polytopes.StabilizerGroup"]], "vrepr (class in moment_polytopes)": [[5, "moment_polytopes.VRepr"]], "__and__() (moment_polytopes.hrepr method)": [[5, "moment_polytopes.HRepr.__and__"]], "__contains__() (moment_polytopes.hrepr method)": [[5, "moment_polytopes.HRepr.__contains__"]], "__eq__() (moment_polytopes.hrepr method)": [[5, "moment_polytopes.HRepr.__eq__"]], "__eq__() (moment_polytopes.vrepr method)": [[5, "moment_polytopes.VRepr.__eq__"]], "__version__ (in module moment_polytopes)": [[5, "moment_polytopes.__version__"]], "ambient_dim (moment_polytopes.hrepr attribute)": [[5, "moment_polytopes.HRepr.ambient_dim"]], "ambient_dim (moment_polytopes.representation attribute)": [[5, "moment_polytopes.Representation.ambient_dim"]], "ambient_dim (moment_polytopes.vrepr attribute)": [[5, "moment_polytopes.VRepr.ambient_dim"]], "antishuffles() (in module moment_polytopes)": [[5, "moment_polytopes.antishuffles"]], "blocks (moment_polytopes.stabilizergroup attribute)": [[5, "moment_polytopes.StabilizerGroup.blocks"]], "c_candidates() (in module moment_polytopes)": [[5, "moment_polytopes.c_candidates"]], "cmd (moment_polytopes.lrserror attribute)": [[5, "moment_polytopes.LrsError.cmd"]], "cubicle() (in module moment_polytopes)": [[5, "moment_polytopes.cubicle"]], "cubicle_tableaux() (in module moment_polytopes)": [[5, "moment_polytopes.cubicle_tableaux"]], "det() (moment_polytopes.ressayretester method)": [[5, "moment_polytopes.RessayreTester.det"]], "dim_affine_hull() (in module moment_polytopes.utils)": [[5, "moment_polytopes.utils.dim_affine_hull"]], "dimension (moment_polytopes.representation property)": [[5, "moment_polytopes.Representation.dimension"]], "dimension_affine_hull_weights (moment_polytopes.representation property)": [[5, "moment_polytopes.Representation.dimension_affine_hull_weights"]], "disk_cache() (in module moment_polytopes.disk_cache)": [[5, "moment_polytopes.disk_cache.disk_cache"]], "dual_root_primitive() (in module moment_polytopes)": [[5, "moment_polytopes.dual_root_primitive"]], "eqns (moment_polytopes.hrepr attribute)": [[5, "moment_polytopes.HRepr.eqns"]], "external_tensor_product() (in module moment_polytopes)": [[5, "moment_polytopes.external_tensor_product"]], "extremal_edges() (in module moment_polytopes)": [[5, "moment_polytopes.extremal_edges"]], "facet_normal_form() (in module moment_polytopes.qmp)": [[5, "moment_polytopes.qmp.facet_normal_form"]], "from_sage() (moment_polytopes.hrepr static method)": [[5, "moment_polytopes.HRepr.from_sage"]], "from_sage() (moment_polytopes.vrepr static method)": [[5, "moment_polytopes.VRepr.from_sage"]], "hrepr() (in module moment_polytopes.qmp)": [[5, "moment_polytopes.qmp.hrepr"]], "hrepr() (moment_polytopes.vrepr method)": [[5, "moment_polytopes.VRepr.hrepr"]], "ieqs (moment_polytopes.hrepr attribute)": [[5, "moment_polytopes.HRepr.ieqs"]], "ieqs_wo_perms() (in module moment_polytopes.qmp)": [[5, "moment_polytopes.qmp.ieqs_wo_perms"]], "irred() (moment_polytopes.hrepr method)": [[5, "moment_polytopes.HRepr.irred"]], "is_admissible() (in module moment_polytopes)": [[5, "moment_polytopes.is_admissible"]], "is_antishuffle() (in module moment_polytopes)": [[5, "moment_polytopes.is_antishuffle"]], "is_dominant() (in module moment_polytopes)": [[5, "moment_polytopes.is_dominant"]], "is_dual_root_primitive() (in module moment_polytopes)": [[5, "moment_polytopes.is_dual_root_primitive"]], "is_extremal_edge() (in module moment_polytopes)": [[5, "moment_polytopes.is_extremal_edge"]], "is_extremal_edge_ieq() (in module moment_polytopes)": [[5, "moment_polytopes.is_extremal_edge_ieq"]], "is_ressayre() (in module moment_polytopes)": [[5, "moment_polytopes.is_ressayre"]], "is_ressayre() (moment_polytopes.ressayretester method)": [[5, "moment_polytopes.RessayreTester.is_ressayre"]], "is_shuffle() (in module moment_polytopes)": [[5, "moment_polytopes.is_shuffle"]], "klyachko_fermi_hrepr() (in module moment_polytopes.third_party)": [[5, "moment_polytopes.third_party.klyachko_fermi_hrepr"]], "klyachko_qmp_hrepr() (in module moment_polytopes.third_party)": [[5, "moment_polytopes.third_party.klyachko_qmp_hrepr"]], "length_tuples() (in module moment_polytopes)": [[5, "moment_polytopes.length_tuples"]], "lines (moment_polytopes.vrepr attribute)": [[5, "moment_polytopes.VRepr.lines"]], "message (moment_polytopes.lrserror attribute)": [[5, "moment_polytopes.LrsError.message"]], "module": [[5, "module-moment_polytopes"]], "moment_polytopes": [[5, "module-moment_polytopes"]], "negative_root_action() (moment_polytopes.representation method)": [[5, "moment_polytopes.Representation.negative_root_action"]], "negative_roots (moment_polytopes.representation attribute)": [[5, "moment_polytopes.Representation.negative_roots"]], "normal_form() (moment_polytopes.stabilizergroup method)": [[5, "moment_polytopes.StabilizerGroup.normal_form"]], "orbit() (moment_polytopes.stabilizergroup method)": [[5, "moment_polytopes.StabilizerGroup.orbit"]], "perm_action() (in module moment_polytopes)": [[5, "moment_polytopes.perm_action"]], "perms_of_length() (in module moment_polytopes)": [[5, "moment_polytopes.perms_of_length"]], "positive_roots (moment_polytopes.representation property)": [[5, "moment_polytopes.Representation.positive_roots"]], "positive_weyl_chamber_hrepr() (in module moment_polytopes)": [[5, "moment_polytopes.positive_weyl_chamber_hrepr"]], "pretty() (in module moment_polytopes.qmp)": [[5, "moment_polytopes.qmp.pretty"]], "rays (moment_polytopes.vrepr attribute)": [[5, "moment_polytopes.VRepr.rays"]], "rect_tableaux() (in module moment_polytopes)": [[5, "moment_polytopes.rect_tableaux"]], "reduced_eqns (moment_polytopes.representation attribute)": [[5, "moment_polytopes.Representation.reduced_eqns"]], "reduced_positive_weyl_chamber_hrepr (moment_polytopes.representation property)": [[5, "moment_polytopes.Representation.reduced_positive_weyl_chamber_hrepr"]], "representation (moment_polytopes.ressayretester attribute)": [[5, "moment_polytopes.RessayreTester.representation"]], "ressayre_tester() (in module moment_polytopes)": [[5, "moment_polytopes.ressayre_tester"]], "root_system (moment_polytopes.representation attribute)": [[5, "moment_polytopes.Representation.root_system"]], "shuffles() (in module moment_polytopes)": [[5, "moment_polytopes.shuffles"]], "to_sage() (moment_polytopes.hrepr method)": [[5, "moment_polytopes.HRepr.to_sage"]], "to_sage() (moment_polytopes.vrepr method)": [[5, "moment_polytopes.VRepr.to_sage"]], "v (moment_polytopes.stabilizergroup attribute)": [[5, "moment_polytopes.StabilizerGroup.v"]], "vertices (moment_polytopes.vrepr attribute)": [[5, "moment_polytopes.VRepr.vertices"]], "vertices() (moment_polytopes.hrepr method)": [[5, "moment_polytopes.HRepr.vertices"]], "vertices_wo_perms() (in module moment_polytopes.qmp)": [[5, "moment_polytopes.qmp.vertices_wo_perms"]], "vrepr() (in module moment_polytopes.qmp)": [[5, "moment_polytopes.qmp.vrepr"]], "vrepr() (moment_polytopes.hrepr method)": [[5, "moment_polytopes.HRepr.vrepr"]], "weight_vector() (moment_polytopes.representation method)": [[5, "moment_polytopes.Representation.weight_vector"]], "weights (moment_polytopes.representation attribute)": [[5, "moment_polytopes.Representation.weights"]], "weyl_module() (in module moment_polytopes)": [[5, "moment_polytopes.weyl_module"]]}}) \ No newline at end of file