feat(circuit/frontier): described-network direct summation over ring operations, with A_p coefficient lists by SamuelSchlesinger · Pull Request #1928 · cslib-community/complexitylib

feat(GenericRAM/Native): depth-first stack recursion with native bounds

SamuelSchlesinger

and

claude

committed

02ef13c

feat(PolyTime): arithmetic in (Z/2^p)[U]/(f) on coefficient lists

SamuelSchlesinger

and

claude

committed

99d9e0d

doc(GenericRAM/Native): qualify the module path in the stack recursion docstring

SamuelSchlesinger

and

claude

committed

27d0311

feat(PolyTime/Nat): the clock 2^(K n / sqrt(floor(log2 n))) in polynomial time

SamuelSchlesinger

and

claude

committed

70f4cd5

feat(PolyTime): unit and powers in (Z/2^p)[U]/(f)

SamuelSchlesinger

and

claude

committed

b9caee5

feat(PolyTime): negation, subtraction and Newton inversion in (Z/2^p)[U]/(f)

SamuelSchlesinger

and

claude

committed

dc4824e

Merge remote-tracking branch 'origin/main' into claude/t2-native-recursion

SamuelSchlesinger

committed

164f4b2

feat(circuit/frontier): direct summation over networks with described tensors

SamuelSchlesinger

and

claude

committed

7926132

Merge remote-tracking branch 'origin/claude/t2-galois-arith' into claude/t2-described-galois

SamuelSchlesinger

committed

c997e5f

feat(circuit/frontier): direct summation over described networks with ring operations on values

SamuelSchlesinger

and

claude

committed

955f94a

Merge remote-tracking branch 'origin/main' into claude/t2-described-galois

SamuelSchlesinger

committed

67d77cc

Merge origin/main into claude/t2-described-leaf

SamuelSchlesinger

and

claude

committed

9e5bd2b

refactor(circuit/frontier): share the port/descriptor record between explicit and described networks

SamuelSchlesinger

and

claude

committed

ef0982e

test(circuit/frontier): name IsRowsFirstBipartite explicitly on an anonymous explicit network

SamuelSchlesinger

and

claude

committed

d18d15f

Merge branch 'claude/t2-described-leaf' into claude/t2-described-galois

SamuelSchlesinger

and

claude

committed

b585eeb

Merge remote-tracking branch 'origin/main' into claude/t2-described-galois

SamuelSchlesinger

and

claude

committed

766fca0

Navigation Menu

Repository navigation

feat(circuit/frontier): described-network direct summation over ring operations, with A_p coefficient lists - #1928

feat(circuit/frontier): described-network direct summation over ring operations, with A_p coefficient lists#1928
SamuelSchlesinger merged 16 commits into
mainfrom
claude/t2-described-galois

Commits on Oct 31, 2026

feat(GenericRAM/Native): depth-first stack recursion with native bounds

feat(PolyTime): arithmetic in (Z/2^p)[U]/(f) on coefficient lists

doc(GenericRAM/Native): qualify the module path in the stack recursion docstring

feat(PolyTime/Nat): the clock 2^(K n / sqrt(floor(log2 n))) in polynomial time

feat(PolyTime): unit and powers in (Z/2^p)[U]/(f)

feat(PolyTime): negation, subtraction and Newton inversion in (Z/2^p)[U]/(f)

Merge remote-tracking branch 'origin/main' into claude/t2-native-recursion

feat(circuit/frontier): direct summation over networks with described tensors

Merge remote-tracking branch 'origin/claude/t2-galois-arith' into claude/t2-described-galois

feat(circuit/frontier): direct summation over described networks with ring operations on values

Merge remote-tracking branch 'origin/main' into claude/t2-described-galois

Merge origin/main into claude/t2-described-leaf

refactor(circuit/frontier): share the port/descriptor record between explicit and described networks

test(circuit/frontier): name IsRowsFirstBipartite explicitly on an anonymous explicit network

Merge branch 'claude/t2-described-leaf' into claude/t2-described-galois

Merge remote-tracking branch 'origin/main' into claude/t2-described-galois