Add and use mutating arithmetics for arb poly rings #667

Sign in to view logs

Triggered via pull request October 23, 2024 14:00

lgoettgens

opened #1917

lgoettgens:lg/mutating-arith-antic-poly

Status Success

Total duration 47m 16s

Artifacts –

hecke.yml

on: pull_request

Matrix: test-oscar