conjecture.py

A python library of mathematical conjectures.

Motivation

Mathematical conjectures are deemed "unproven" by conventional means. Many are proven by example and rigorous bounds testing. Many have numerous practical applications. The purpose of conjecture.py is to be a self contained single file (when possible) python library which attempts to provide an implementation of all mathematical conjectures for use in python programs.

Coding standards

- Please use 4 spaces for each indentation
- Please attempt to implement the entire function directly in conjecture.py when possible. Referencing an external dependency or another githup project also OK.
- Please also update this README.md with an example of how to use the added conjecture interface.
- Please feel free to add any missing conjectures in alphabetical order when possible.

Conjectures

[Abundance conjecture]

TODO: Please document interface example of Abundance conjecture here and send pull request.

[Agoh–Giuga conjecture]

TODO: Please document interface example of Agoh–Giuga conjecture here and send pull request.

[Albertson conjecture]

TODO: Please document interface example of Albertson conjecture here and send pull request.

[Alspach's conjecture]

TODO: Please document interface example of Alspach's conjecture here and send pull request.

[Anderson conjecture]

TODO: Please document interface example of Anderson conjecture here and send pull request.

[André–Oort conjecture]

TODO: Please document interface example of André–Oort conjecture here and send pull request.

[Andrews–Curtis conjecture]

TODO: Please document interface example of Andrews–Curtis conjecture here and send pull request.

[Arnold–Givental conjecture]

TODO: Please document interface example of Arnold–Givental conjecture here and send pull request.

[Artin's conjecture]

TODO: Please document interface example of Artin's conjecture here and send pull request.

[Atiyah conjecture]

TODO: Please document interface example of Atiyah conjecture here and send pull request.

[Barnette's conjecture]

TODO: Please document interface example of Barnette's conjecture here and send pull request.

[Bass conjecture]

TODO: Please document interface example of Bass conjecture here and send pull request.

[Baum–Connes conjecture]

TODO: Please document interface example of Baum–Connes conjecture here and send pull request.

[Beal's conjecture]

TODO: Please document interface example of Beal's conjecture here and send pull request.

[Beck's conjecture]

TODO: Please document interface example of Beck's conjecture here and send pull request.

[Beilinson conjecture]

TODO: Please document interface example of Beilinson conjecture here and send pull request.

[Bing–Borsuk conjecture]

TODO: Please document interface example of Bing–Borsuk conjecture here and send pull request.

[Birch–Tate conjecture]

TODO: Please document interface example of Birch–Tate conjecture here and send pull request.

[Birkhoff conjecture]

TODO: Please document interface example of Birkhoff conjecture here and send pull request.

[Blankenship–Oporowski conjecture]

TODO: Please document interface example of Blankenship–Oporowski conjecture here and send pull request.

[Bloch–Kato conjecture]

TODO: Please document interface example of Bloch–Kato conjecture here and send pull request.

[Bogomolov conjecture]

TODO: Please document interface example of Bogomolov conjecture here and send pull request.

[Bombieri–Lang conjecture]

TODO: Please document interface example of Bombieri–Lang conjecture here and send pull request.

[Borel conjecture]

TODO: Please document interface example of Borel conjecture here and send pull request.

[Bost conjecture]

TODO: Please document interface example of Bost conjecture here and send pull request.

[Brennan conjecture]

TODO: Please document interface example of Brennan conjecture here and send pull request.

[Brocard's conjecture]

TODO: Please document interface example of Brocard's conjecture here and send pull request.

[Brouwer's conjecture]

TODO: Please document interface example of Brouwer's conjecture here and send pull request.

[Bunyakovsky conjecture]

TODO: Please document interface example of Bunyakovsky conjecture here and send pull request.

[Burr–Erdős conjecture]

TODO: Please document interface example of Burr–Erdős conjecture here and send pull request.

[Carathéodory conjecture]

TODO: Please document interface example of Carathéodory conjecture here and send pull request.

[Carmichael's totient function conjecture]

TODO: Please document interface example of Carmichael's totient function conjecture here and send pull request.

[Cartan–Hadamard conjecture]

TODO: Please document interface example of Cartan–Hadamard conjecture here and send pull request.

[Casas-Alvero conjecture]

TODO: Please document interface example of Casas-Alvero conjecture here and send pull request.

[Catalan–Dickson conjecture]

TODO: Please document interface example of Catalan–Dickson conjecture here and send pull request.

[Catalan's conjecture]

TODO: Please document interface example of Catalan's conjecture here and send pull request.

[Catalan's Mersenne conjecture]

TODO: Please document interface example of Catalan's Mersenne conjecture here and send pull request.

[Cereceda's conjecture]

TODO: Please document interface example of Cereceda's conjecture here and send pull request.

[Cherlin–Zilber conjecture]

TODO: Please document interface example of Cherlin–Zilber conjecture here and send pull request.

[Chern's conjecture]

TODO: Please document interface example of Chern's conjecture here and send pull request.

[Chvátal's toughness conjecture]

TODO: Please document interface example of Chvátal's toughness conjecture here and send pull request.

[Collatz conjecture]

TODO: Please document interface example of Collatz conjecture here and send pull request.

[Conway's thrackle conjecture]

TODO: Please document interface example of Conway's thrackle conjecture here and send pull request.

[Crouzeix's conjecture]

TODO: Please document interface example of Crouzeix's conjecture here and send pull request.

[cycle double cover conjecture]

TODO: Please document interface example of cycle double cover conjecture here and send pull request.

[Deligne conjecture]

TODO: Please document interface example of Deligne conjecture here and send pull request.

[Deligne's conjecture]

TODO: Please document interface example of Deligne's conjecture here and send pull request.

[Demazure conjecture]

TODO: Please document interface example of Demazure conjecture here and send pull request.

[Dickson's conjecture]

TODO: Please document interface example of Dickson's conjecture here and send pull request.

[Disproof of the Ganea conjecture]

TODO: Please document interface example of Disproof of the Ganea conjecture here and send pull request.

[Dixmier conjecture]

TODO: Please document interface example of Dixmier conjecture here and send pull request.

[Dodecahedral conjecture]

TODO: Please document interface example of Dodecahedral conjecture here and send pull request.

[Double bubble conjecture]

TODO: Please document interface example of Double bubble conjecture here and send pull request.

[Dubner's conjecture]

TODO: Please document interface example of Dubner's conjecture here and send pull request.

[Duffin-Schaeffer conjecture]

TODO: Please document interface example of Duffin-Schaeffer conjecture here and send pull request.

[Dürer's conjecture]

TODO: Please document interface example of Dürer's conjecture here and send pull request.

[Ehrenpreis conjecture]

TODO: Please document interface example of Ehrenpreis conjecture here and send pull request.

[Ehrhart's volume conjecture]

TODO: Please document interface example of Ehrhart's volume conjecture here and send pull request.

[Eilenberg–Ganea conjecture]

TODO: Please document interface example of Eilenberg–Ganea conjecture here and send pull request.

[Elliott–Halberstam conjecture]

TODO: Please document interface example of Elliott–Halberstam conjecture here and send pull request.

[Erdős–Faber–Lovász conjecture]

TODO: Please document interface example of Erdős–Faber–Lovász conjecture here and send pull request.

[Erdős–Gyárfás conjecture]

TODO: Please document interface example of Erdős–Gyárfás conjecture here and send pull request.

[Erdős–Hajnal conjecture]

TODO: Please document interface example of Erdős–Hajnal conjecture here and send pull request.

[Erdős–Menger conjecture]

TODO: Please document interface example of Erdős–Menger conjecture here and send pull request.

[Erdős–Mollin–Walsh conjecture]

TODO: Please document interface example of Erdős–Mollin–Walsh conjecture here and send pull request.

[Erdős–Oler conjecture]

TODO: Please document interface example of Erdős–Oler conjecture here and send pull request.

[Erdős–Stewart conjecture]

TODO: Please document interface example of Erdős–Stewart conjecture here and send pull request.

[Erdős–Straus conjecture]

TODO: Please document interface example of Erdős–Straus conjecture here and send pull request.

[Erdős–Turán conjecture]

TODO: Please document interface example of Erdős–Turán conjecture here and send pull request.

[Eremenko's conjecture]

TODO: Please document interface example of Eremenko's conjecture here and send pull request.

[Exponent pair conjecture]

TODO: Please document interface example of Exponent pair conjecture here and send pull request.

[Falconer's conjecture]

TODO: Please document interface example of Falconer's conjecture here and send pull request.

[Farrell–Jones conjecture]

TODO: Please document interface example of Farrell–Jones conjecture here and send pull request.

[Feit–Thompson conjecture]

TODO: Please document interface example of Feit–Thompson conjecture here and send pull request.

[Fermat–Catalan conjecture]

TODO: Please document interface example of Fermat–Catalan conjecture here and send pull request.

[filling area conjecture]

TODO: Please document interface example of filling area conjecture here and send pull request.

[Fontaine–Mazur conjecture]

TODO: Please document interface example of Fontaine–Mazur conjecture here and send pull request.

[Fortune's conjecture]

TODO: Please document interface example of Fortune's conjecture here and send pull request.

[four exponentials conjecture]

TODO: Please document interface example of four exponentials conjecture here and send pull request.

[Frankl's union-closed sets conjecture]

TODO: Please document interface example of Frankl's union-closed sets conjecture here and send pull request.

[Fröberg conjecture]

TODO: Please document interface example of Fröberg conjecture here and send pull request.

[Fujita conjecture]

TODO: Please document interface example of Fujita conjecture here and send pull request.

[Furstenberg conjecture]

TODO: Please document interface example of Furstenberg conjecture here and send pull request.

[Gan–Gross–Prasad conjecture]

TODO: Please document interface example of Gan–Gross–Prasad conjecture here and send pull request.

[Geometrization conjecture]

TODO: Please document interface example of Geometrization conjecture here and send pull request.

[Gilbreath's conjecture]

TODO: Please document interface example of Gilbreath's conjecture here and send pull request.

[Gillies' conjecture]

TODO: Please document interface example of Gillies' conjecture here and send pull request.

[GNRS conjecture]

TODO: Please document interface example of GNRS conjecture here and send pull request.

[Goldbach conjecture]

TODO: Please document interface example of Goldbach conjecture here and send pull request.

[Goldbach's conjecture]

TODO: Please document interface example of Goldbach's conjecture here and send pull request.

[Goldbach's weak conjecture]

TODO: Please document interface example of Goldbach's weak conjecture here and send pull request.

[Goormaghtigh conjecture]

TODO: Please document interface example of Goormaghtigh conjecture here and send pull request.

[Graham's pebbling conjecture]

TODO: Please document interface example of Graham's pebbling conjecture here and send pull request.

[Greenberg's conjecture]

TODO: Please document interface example of Greenberg's conjecture here and send pull request.

[Green's conjecture]

TODO: Please document interface example of Green's conjecture here and send pull request.

[Grimm's conjecture]

TODO: Please document interface example of Grimm's conjecture here and send pull request.

[Grothendieck–Katz p-curvature conjecture]

TODO: Please document interface example of Grothendieck–Katz p-curvature conjecture here and send pull request.

[Guralnick–Thompson conjecture]

TODO: Please document interface example of Guralnick–Thompson conjecture here and send pull request.

[Gyárfás–Sumner conjecture]

TODO: Please document interface example of Gyárfás–Sumner conjecture here and send pull request.

[Hadamard conjecture]

TODO: Please document interface example of Hadamard conjecture here and send pull request.

[Hadwiger conjecture]

TODO: Please document interface example of Hadwiger conjecture here and send pull request.

[Hall's conjecture]

TODO: Please document interface example of Hall's conjecture here and send pull request.

[Halperin conjecture]

TODO: Please document interface example of Halperin conjecture here and send pull request.

[Hanna Neumann conjecture]

TODO: Please document interface example of Hanna Neumann conjecture here and send pull request.

[Harary's conjecture]

TODO: Please document interface example of Harary's conjecture here and send pull request.

[Harborth's conjecture]

TODO: Please document interface example of Harborth's conjecture here and send pull request.

[Hardy–Littlewood zeta-function conjecture]

TODO: Please document interface example of Hardy–Littlewood zeta-function conjecture here and send pull request.

[Hartshorne's conjecture]

TODO: Please document interface example of Hartshorne's conjecture here and send pull request.

[Herzog–Schönheim conjecture]

TODO: Please document interface example of Herzog–Schönheim conjecture here and send pull request.

[Heterogeneous tiling conjecture]

TODO: Please document interface example of Heterogeneous tiling conjecture here and send pull request.

[Hilbert–Pólya conjecture]

TODO: Please document interface example of Hilbert–Pólya conjecture here and send pull request.

[Hilbert–Smith conjecture]

TODO: Please document interface example of Hilbert–Smith conjecture here and send pull request.

[Homological conjecture]

TODO: Please document interface example of Homological conjecture here and send pull request.

[Honeycomb conjecture]

TODO: Please document interface example of Honeycomb conjecture here and send pull request.

[Hopf conjecture]

TODO: Please document interface example of Hopf conjecture here and send pull request.

[Hsiang–Lawson's conjecture]

TODO: Please document interface example of Hsiang–Lawson's conjecture here and send pull request.

[implicit graph conjecture]

TODO: Please document interface example of implicit graph conjecture here and send pull request.

[Jacobian conjecture]

TODO: Please document interface example of Jacobian conjecture here and send pull request.

[Jacobson's conjecture]

TODO: Please document interface example of Jacobson's conjecture here and send pull request.

[Jaeger's Petersen-coloring conjecture]

TODO: Please document interface example of Jaeger's Petersen-coloring conjecture here and send pull request.

[Jørgensen's conjecture]

TODO: Please document interface example of Jørgensen's conjecture here and send pull request.

[Kakeya conjecture]

TODO: Please document interface example of Kakeya conjecture here and send pull request.

[Kalai's 3d conjecture]

TODO: Please document interface example of Kalai's 3d conjecture here and send pull request.

[Kaplansky's conjecture]

TODO: Please document interface example of Kaplansky's conjecture here and send pull request.

[Kaplan–Yorke conjecture]

TODO: Please document interface example of Kaplan–Yorke conjecture here and send pull request.

[Kato's conjecture]

TODO: Please document interface example of Kato's conjecture here and send pull request.

[Kauffman–Harary conjecture]

TODO: Please document interface example of Kauffman–Harary conjecture here and send pull request.

[Keating–Snaith conjecture]

TODO: Please document interface example of Keating–Snaith conjecture here and send pull request.

[Kepler conjecture]

TODO: Please document interface example of Kepler conjecture here and send pull request.

[Kirillov's conjecture]

TODO: Please document interface example of Kirillov's conjecture here and send pull request.

[Köthe conjecture]

TODO: Please document interface example of Köthe conjecture here and send pull request.

[Kouchnirenko’s conjecture]

TODO: Please document interface example of Kouchnirenko’s conjecture here and send pull request.

[Kueker's conjecture]

TODO: Please document interface example of Kueker's conjecture here and send pull request.

[Kummer–Vandiver conjecture]

TODO: Please document interface example of Kummer–Vandiver conjecture here and send pull request.

[Kung–Traub conjecture]

TODO: Please document interface example of Kung–Traub conjecture here and send pull request.

[Kusner conjecture]

TODO: Please document interface example of Kusner conjecture here and send pull request.

[Lander, Parkin, and Selfridge conjecture]

TODO: Please document interface example of Lander, Parkin, and Selfridge conjecture here and send pull request.

[Lang and Trotter's conjecture]

TODO: Please document interface example of Lang and Trotter's conjecture here and send pull request.

[Lax conjecture]

TODO: Please document interface example of Lax conjecture here and send pull request.

[Lehmer's conjecture]

TODO: Please document interface example of Lehmer's conjecture here and send pull request.

[Lemoine's conjecture]

TODO: Please document interface example of Lemoine's conjecture here and send pull request.

[Leopoldt's conjecture]

TODO: Please document interface example of Leopoldt's conjecture here and send pull request.

[linear arboricity conjecture]

TODO: Please document interface example of linear arboricity conjecture here and send pull request.

[list coloring conjecture]

TODO: Please document interface example of list coloring conjecture here and send pull request.

[Littlewood conjecture]

TODO: Please document interface example of Littlewood conjecture here and send pull request.

[lonely runner conjecture]

TODO: Please document interface example of lonely runner conjecture here and send pull request.

[Lovász conjecture]

TODO: Please document interface example of Lovász conjecture here and send pull request.

[Mahler's conjecture]

TODO: Please document interface example of Mahler's conjecture here and send pull request.

[main gap conjecture]

TODO: Please document interface example of main gap conjecture here and send pull request.

[Manin conjecture]

TODO: Please document interface example of Manin conjecture here and send pull request.

[Margulis conjecture]

TODO: Please document interface example of Margulis conjecture here and send pull request.

[Maulik–Nekrasov–Okounkov–Pandharipande conjecture]

TODO: Please document interface example of Maulik–Nekrasov–Okounkov–Pandharipande conjecture here and send pull request.

[Mazur's conjecture]

TODO: Please document interface example of Mazur's conjecture here and send pull request.

[Meyniel's conjecture]

TODO: Please document interface example of Meyniel's conjecture here and send pull request.

[Milnor conjecture]

TODO: Please document interface example of Milnor conjecture here and send pull request.

[MLC conjecture]

TODO: Please document interface example of MLC conjecture here and send pull request.

[Montgomery's pair correlation conjecture]

TODO: Please document interface example of Montgomery's pair correlation conjecture here and send pull request.

[Nagata's conjecture]

TODO: Please document interface example of Nagata's conjecture here and send pull request.

[Nakai conjecture]

TODO: Please document interface example of Nakai conjecture here and send pull request.

[Negami's conjecture]

TODO: Please document interface example of Negami's conjecture here and send pull request.

[Newman's conjecture]

TODO: Please document interface example of Newman's conjecture here and send pull request.

[New Mersenne conjecture]

TODO: Please document interface example of New Mersenne conjecture here and send pull request.

[Nirenberg–Treves conjecture]

TODO: Please document interface example of Nirenberg–Treves conjecture here and send pull request.

[Normal scalar curvature conjecture]

TODO: Please document interface example of Normal scalar curvature conjecture here and send pull request.

[Novikov conjecture]

TODO: Please document interface example of Novikov conjecture here and send pull request.

[Parshin's conjecture]

TODO: Please document interface example of Parshin's conjecture here and send pull request.

[Pierce–Birkhoff conjecture]

TODO: Please document interface example of Pierce–Birkhoff conjecture here and send pull request.

[Pillai's conjecture]

TODO: Please document interface example of Pillai's conjecture here and send pull request.

[Poincaré conjecture]

TODO: Please document interface example of Poincaré conjecture here and send pull request.

[Polignac's conjecture]

TODO: Please document interface example of Polignac's conjecture here and send pull request.

[Pollock's conjecture]

TODO: Please document interface example of Pollock's conjecture here and send pull request.

[Quantum chaos: Berry–Tabor conjecture]

TODO: Please document interface example of Quantum chaos: Berry–Tabor conjecture here and send pull request.

[Quantum unique ergodicity conjecture]

TODO: Please document interface example of Quantum unique ergodicity conjecture here and send pull request.

[Ramanujan–Petersson conjecture]

TODO: Please document interface example of Ramanujan–Petersson conjecture here and send pull request.

[reconstruction conjecture]

TODO: Please document interface example of reconstruction conjecture here and send pull request.

[Reinhardt's conjecture]

TODO: Please document interface example of Reinhardt's conjecture here and send pull request.

[Ringel's conjecture]

TODO: Please document interface example of Ringel's conjecture here and send pull request.

[Road coloring conjecture]

TODO: Please document interface example of Road coloring conjecture here and send pull request.

[Rota's basis conjecture]

TODO: Please document interface example of Rota's basis conjecture here and send pull request.

[Sato–Tate conjecture]

TODO: Please document interface example of Sato–Tate conjecture here and send pull request.

[Schanuel's conjecture]

TODO: Please document interface example of Schanuel's conjecture here and send pull request.

[Scheinerman's conjecture]

TODO: Please document interface example of Scheinerman's conjecture here and send pull request.

[Scholz conjecture]

TODO: Please document interface example of Scholz conjecture here and send pull request.

[Section conjecture]

TODO: Please document interface example of Section conjecture here and send pull request.

[Selberg's 1/4 conjecture]

TODO: Please document interface example of Selberg's 1/4 conjecture here and send pull request.

[Selfridge's conjecture]

TODO: Please document interface example of Selfridge's conjecture here and send pull request.

[Sendov's conjecture]

TODO: Please document interface example of Sendov's conjecture here and send pull request.

[Sensitivity conjecture]

TODO: Please document interface example of Sensitivity conjecture here and send pull request.

[Serre's conjecture]

TODO: Please document interface example of Serre's conjecture here and send pull request.

[Serre's modularity conjecture]

TODO: Please document interface example of Serre's modularity conjecture here and send pull request.

[Serre's multiplicity conjecture]

TODO: Please document interface example of Serre's multiplicity conjecture here and send pull request.

[Shelah's categoricity conjecture]

TODO: Please document interface example of Shelah's categoricity conjecture here and send pull request.

[Shelah's eventual categoricity conjecture]

TODO: Please document interface example of Shelah's eventual categoricity conjecture here and send pull request.

[Singmaster's conjecture]

TODO: Please document interface example of Singmaster's conjecture here and send pull request.

[Spherical space form conjecture]

TODO: Please document interface example of Spherical space form conjecture here and send pull request.

[stable field conjecture]

TODO: Please document interface example of stable field conjecture here and send pull request.

[stable forking conjecture]

TODO: Please document interface example of stable forking conjecture here and send pull request.

[Standard conjecture]

TODO: Please document interface example of Standard conjecture here and send pull request.

[Stark conjecture]

TODO: Please document interface example of Stark conjecture here and send pull request.

[strong Papadimitriou–Ratajczak conjecture]

TODO: Please document interface example of strong Papadimitriou–Ratajczak conjecture here and send pull request.

[Strong perfect graph conjecture]

TODO: Please document interface example of Strong perfect graph conjecture here and send pull request.

[Sumner's conjecture]

TODO: Please document interface example of Sumner's conjecture here and send pull request.

[sunflower conjecture]

TODO: Please document interface example of sunflower conjecture here and send pull request.

[Surface subgroup conjecture]

TODO: Please document interface example of Surface subgroup conjecture here and send pull request.

[Szpiro's conjecture]

TODO: Please document interface example of Szpiro's conjecture here and send pull request.

[Szymanski's conjecture]

TODO: Please document interface example of Szymanski's conjecture here and send pull request.

[Tameness conjecture]

TODO: Please document interface example of Tameness conjecture here and send pull request.

[Tate conjecture]

TODO: Please document interface example of Tate conjecture here and send pull request.

[Telescope conjecture]

TODO: Please document interface example of Telescope conjecture here and send pull request.

[Toeplitz conjecture]

TODO: Please document interface example of Toeplitz conjecture here and send pull request.

[Torsion conjecture]

TODO: Please document interface example of Torsion conjecture here and send pull request.

[total coloring conjecture]

TODO: Please document interface example of total coloring conjecture here and send pull request.

[Tutte's conjecture]

TODO: Please document interface example of Tutte's conjecture here and send pull request.

[Twin prime conjecture]

TODO: Please document interface example of Twin prime conjecture here and send pull request.

[Ulam's packing conjecture]

TODO: Please document interface example of Ulam's packing conjecture here and send pull request.

[Umbral moonshine conjecture]

TODO: Please document interface example of Umbral moonshine conjecture here and send pull request.

[Uniform boundedness conjecture]

TODO: Please document interface example of Uniform boundedness conjecture here and send pull request.

[uniqueness conjecture]

TODO: Please document interface example of uniqueness conjecture here and send pull request.

[Vaught conjecture]

TODO: Please document interface example of Vaught conjecture here and send pull request.

[Virasoro conjecture]

TODO: Please document interface example of Virasoro conjecture here and send pull request.

[Virtual Haken conjecture]

TODO: Please document interface example of Virtual Haken conjecture here and send pull request.

[Vitushkin's conjecture]

TODO: Please document interface example of Vitushkin's conjecture here and send pull request.

[Vizing's conjecture]

TODO: Please document interface example of Vizing's conjecture here and send pull request.

[Vojta's conjecture]

TODO: Please document interface example of Vojta's conjecture here and send pull request.

[Volume conjecture]

TODO: Please document interface example of Volume conjecture here and send pull request.

[Weinstein conjecture]

TODO: Please document interface example of Weinstein conjecture here and send pull request.

[Whitehead conjecture]

TODO: Please document interface example of Whitehead conjecture here and send pull request.

[Willmore conjecture]

TODO: Please document interface example of Willmore conjecture here and send pull request.

[Woodin's Ω- conjecture]

TODO: Please document interface example of Woodin's Ω- conjecture here and send pull request.

[Yau's conjecture]

TODO: Please document interface example of Yau's conjecture here and send pull request.

[Zariski–Lipman conjecture]

TODO: Please document interface example of Zariski–Lipman conjecture here and send pull request.

[Zariski multiplicity conjecture]

TODO: Please document interface example of Zariski multiplicity conjecture here and send pull request.

[Zauner's conjecture]

TODO: Please document interface example of Zauner's conjecture here and send pull request.

[Zeeman conjecture]

TODO: Please document interface example of Zeeman conjecture here and send pull request.