Adding to-do re: encoding/caching LCs

lurchmath · Mar 13, 2020 · d1e718f · d1e718f
1 parent c6df4f3
commit d1e718f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/to-do.md b/to-do.md
@@ -32,3 +32,5 @@
     should include the working forwards/backwards option as well as the
     question of how many copies of a formula to add.  Provide proofs of all
     the claims made in such documentation.
+ 1. Create a compact string encoding of LCs (a faithful embedding) for use when
+    caching things like whether derivations hold.