Replace Lie.jl with Oscar backend #2

Open

Labels

opened

on Mar 11, 2026

We should do the experiment of replacing the current Lie.jl backend with Oscar's implementation of these features. Maybe the runtime goes up, but the compilation cost goes down significantly?

Metadata

Assignees

No one assigned

Labels

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests