issues
search
math1um
/
objects-invariants-properties
Objects, Invariants and Properties for Graph Theory (GT) automated conjecturing: in particular with the Sage program CONJECTURING: http://nvcleemp.github.io/conjecturing/
GNU General Public License v3.0
14
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
is_distance_transitive is still broken
#557
yirkajk
closed
6 years ago
0
Check whether current functions follow desired design rules
#556
yirkajk
opened
6 years ago
6
Automate use of precomputed values in all functions
#555
yirkajk
opened
6 years ago
0
Set up a project structure to deal with monolithic file lengths
#554
yirkajk
opened
6 years ago
1
Clean up lists in graphs, props, invs, and theorems
#553
yirkajk
opened
6 years ago
2
Set up testing/verification for database values
#552
yirkajk
opened
6 years ago
0
Precompute all values for gt
#551
yirkajk
opened
6 years ago
3
Speed up loading gt
#550
yirkajk
opened
6 years ago
0
Create and implement naming conventions
#549
yirkajk
opened
6 years ago
1
Create an installable (pip?) module for gt
#548
yirkajk
opened
6 years ago
2
Are there any orphaned database sql files?
#547
yirkajk
closed
6 years ago
3
Add (or improve) doctests and doccomments for all props, invs, thms, and utilities.
#546
yirkajk
opened
6 years ago
8
Set up testing for database sage file
#545
yirkajk
opened
6 years ago
1
Update and improve contributing guidelines
#544
yirkajk
opened
6 years ago
0
Set up CI linting / style checking
#543
yirkajk
opened
6 years ago
1
Add all sage builtin functions
#542
yirkajk
closed
6 years ago
0
janko_kharaghani1800 graph causes memory error when doctesting
#541
yirkajk
opened
6 years ago
2
Add properties: has_odd_order, has_even_order
#540
math1um
closed
6 years ago
0
Fix Willis graphs and doctests
#539
yirkajk
closed
6 years ago
2
Fix update database async
#538
yirkajk
closed
6 years ago
2
Add any missing built-in properties and invariants
#537
math1um
closed
6 years ago
1
Set up CI testing
#536
nvcleemp
opened
6 years ago
2
Add utility and invariant: is_strong_matching, strong_matching_number
#535
math1um
opened
6 years ago
0
Add invariant: strong_chromatic_index
#534
math1um
opened
6 years ago
1
Add invariant: path_covering_number
#533
math1um
opened
6 years ago
6
Add property: has_radius_one
#532
math1um
closed
6 years ago
1
Add property: has_alpha_equals_clique_covering
#531
math1um
closed
6 years ago
1
Several doctests fail
#530
nvcleemp
closed
6 years ago
2
pairs_have_unique_common_neighbor is broken
#529
nvcleemp
closed
6 years ago
0
Conflicting definitions of common_neighbors
#528
nvcleemp
closed
6 years ago
1
Add graph: new distance regular diameter 3 graph.
#527
thenealon
opened
6 years ago
0
Add property: is_local_matching
#526
math1um
closed
6 years ago
0
Add utility and invariant: maximum_induced_forest, forest_number
#525
math1um
closed
6 years ago
0
Fix doctest: is_biclique
#524
math1um
closed
6 years ago
2
Improve property efficiency: pairs_have_unique_common_neighbor
#523
math1um
closed
6 years ago
0
Add invariant: hamiltonian_index
#522
math1um
closed
6 years ago
2
Add property and theorem: chvatals_condition
#521
math1um
closed
6 years ago
1
Add property and theorem: matthews_sumner
#520
math1um
closed
6 years ago
0
Add property and theorem: broersma_veldman_gould
#519
math1um
closed
6 years ago
1
Add properties and theorems: oberly_sumner_bull, and oberly_sumner_p4
#518
math1um
closed
6 years ago
0
Add property: is_claw_free_bull_free
#517
math1um
closed
6 years ago
0
Add properties: has_bull and is_bull_free
#516
math1um
closed
6 years ago
0
Add Property is_oberly_sumner, and related sufficient condition for Hamiltonicity
#515
math1um
closed
6 years ago
1
Add properties: has_F (or has_F_subgraph), and is_F_free
#514
math1um
closed
6 years ago
0
Theorem: claw_free and paw_free sufficient for hamiltonian
#513
math1um
closed
6 years ago
1
Add property: is_claw_free_paw_free
#512
math1um
closed
6 years ago
1
Duplicate graphs and graphs not added to lists
#511
yirkajk
opened
6 years ago
8
Create 'fast mode' for conjecturing using only precomputed values
#510
math1um
closed
6 years ago
1
Error thrown by update_property_database on is_distance_transitive
#509
yirkajk
closed
6 years ago
8
Add graph: hypohamiltonian graph
#508
math1um
closed
6 years ago
1
Previous
Next