Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Babybear quadratic extension #629

Merged
merged 13 commits into from
Dec 6, 2023

Conversation

mdvillagra
Copy link
Contributor

@mdvillagra mdvillagra commented Oct 24, 2023

Add Babybear Quadratic Extension

Description

This adds the quadratic extension of the babybear field. This is the first step before constructing a quartic extension as requested in issue #539.

Type of change

  • New feature

Checklist

  • Linked to Github Issue
  • Unit tests added

@mdvillagra mdvillagra changed the title Babybear extension Babybear quadratic extension Oct 24, 2023
@codecov-commenter
Copy link

codecov-commenter commented Oct 24, 2023

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (b9b3118) 96.21% compared to head (18c4df2) 96.22%.

Additional details and impacted files
@@           Coverage Diff           @@
##             main     #629   +/-   ##
=======================================
  Coverage   96.21%   96.22%           
=======================================
  Files         132      133    +1     
  Lines       29665    29716   +51     
=======================================
+ Hits        28542    28593   +51     
  Misses       1123     1123           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

@mdvillagra mdvillagra marked this pull request as ready for review October 24, 2023 23:03
@mdvillagra mdvillagra requested review from schouhy, ajgara and a team as code owners October 24, 2023 23:03
@MauroToscano MauroToscano added this pull request to the merge queue Dec 6, 2023
Merged via the queue into lambdaclass:main with commit cd957b1 Dec 6, 2023
7 checks passed
@mdvillagra mdvillagra deleted the babybear-extension branch December 18, 2023 18:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

5 participants