Commit Graph

Select branches

Hide Pull Requests

main

Mono Color

• 5caccbaf50 improve var creation for SumProdCircuit main asteri 2026-04-28 17:29:11 +02:00
• 0c4bddf3b0 building quotient from ideal to make it more explicit asteri 2026-04-27 23:29:03 +02:00
• 3fbd7e3773 improve api and simplify SumProdCircuit creation asteri 2026-04-27 23:15:06 +02:00
• 627a2d88f4 refactor wip asteri 2026-04-27 22:40:55 +02:00
• 723033f3aa wip refactor asteri 2026-04-27 22:05:46 +02:00
• 3a83340c8f rename Mono fields for better understanding asteri 2026-04-24 10:14:00 +02:00
• 0d5fc8225d add README.md asteri 2026-04-22 23:58:39 +02:00
• fe163b74b4 update quotient to ensure ideal defined with a grobner basis asteri 2026-04-22 23:53:21 +02:00
• fb12ec3819 check reduced grobner basis asteri 2026-04-22 23:45:43 +02:00
• e22a45926a add buchberger algorithm asteri 2026-04-22 22:33:30 +02:00
• 1730ac2fac add S-polynomials asteri 2026-04-22 22:14:49 +02:00
• 79bf205762 add polynomial division asteri 2026-04-22 19:35:39 +02:00
• 5bc6124222 cargo fmt asteri 2026-04-22 18:58:19 +02:00
• fc7db3c989 add scale node asteri 2026-04-22 18:16:26 +02:00
• 42d1dd30dc add quotient circuit structure and improve fmt for polynomials asteri 2026-04-22 17:17:14 +02:00
• dee53e6339 move tests on circuits (dag) asteri 2026-04-22 16:27:18 +02:00
• 8c646fd920 refactor poly asteri 2026-04-22 16:12:56 +02:00
• fd05f6b024 move tests and implement dag asteri 2026-04-22 15:59:19 +02:00
• 891546069c add tests asteri 2026-04-22 12:13:49 +02:00
• 99fee298c7 add iterator in children nodes asteri 2026-04-22 11:59:40 +02:00
• 5ef4893f03 update claude settings and wip DAG with SlotMap asteri 2026-04-22 11:45:35 +02:00
• 345bc0f126 add a few tests for monomials and polynomials ops asteri 2026-04-22 10:39:10 +02:00
• 09a9613870 add contains function for monomials asteri 2026-04-22 10:22:32 +02:00
• 91f196035c fixing example asteri 2026-04-22 00:48:15 +02:00
• 1122fb74a3 renaming lib asteri 2026-04-22 00:45:11 +02:00
• 04f5444c68 add sub ops for flat polynomial asteri 2026-04-22 00:43:03 +02:00
• 6a8312dfe4 wip flat representation of polynomial over Z asteri 2026-04-22 00:20:59 +02:00