Commit 2024-11-07 23:49 dc0ee85f

View on Github →

chore: rename elementalStarAlgebra and parallelize API (#18664) #18615 adds non-unital versions of the elemental (star) algebras: i.e., the topological closure of the algebra generated by a single element. That PR develops a series of standard lemmas and uniform naming practices. This PR adapts the existing unital elemental algebras to the naming convention and adjusts the existing lemmas to match API.

Estimated changes