GV

GeezerVison

The World Wide Web, restored to 800 pixels of glory.

Home|About|Gaming cabinet|Archives|How it works|Starter sites

On this site

  • Sign in
  • ActionsCI/CD and automation
  • CodespacesCloud development environments
  • All Features
  • Documentation
  • Training
  • Certifications
  • Build with Copilot
  • Customize Copilot
  • Integrations
  • Trending repos
  • GitHub Sponsors
  • Developer articles
  • Enterprises

This view

  • Original page
  • New address

GeezerVison is showing github.com — gr: Add context methods by Tom-Hubrecht · Pull Request #255 · flintlib/python-flint

Conversation

@Tom-Hubrecht

@Tom-Hubrecht Tom-Hubrecht commented Jan 29, 2025

Copy link
Copy Markdown
Contributor

No description provided.

Sorry, something went wrong.

Uh oh!

There was an error while loading. Please reload this page.
All reactions
Tom-Hubrecht added 4 commits January 28, 2025 17:24
@Tom-Hubrecht
gr: Add is_{zero,one,neg_one} to contexts
8613fd3
@Tom-Hubrecht
Add context methods for neg, add, sub and mul
e47b2a3
@Tom-Hubrecht
test: Allow skipping some docstring tests based on flint version
ebcbb66
@Tom-Hubrecht
Add more gr_ctx methods
7044f11
@Tom-Hubrecht
Tom-Hubrecht force-pushed the gr-ctx-methods branch from 64e4b3c to 7044f11 Compare January 30, 2025 14:54
@Tom-Hubrecht
Tom-Hubrecht marked this pull request as ready for review January 30, 2025 14:54
Tom-Hubrecht added 2 commits January 30, 2025 16:31
@Tom-Hubrecht
fix: Define error values for functions not present in flint
8ec4fbd
@Tom-Hubrecht
Add gr_ctx factor
8b7f0c6
@Tom-Hubrecht Tom-Hubrecht mentioned this pull request Jan 31, 2025
Use the context of gr_elements for their methods #256
Merged
@oscarbenjamin
oscarbenjamin merged commit e50cda6 into flintlib:main Jan 31, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Uh oh!

There was an error while loading. Please reload this page.

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Uh oh!

There was an error while loading. Please reload this page.

2 participants

@Tom-Hubrecht @oscarbenjamin
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
You are visitor 01402503 — GeezerVison does not store the pages you look up.
Best viewed with Netscape Navigator 4.7 or Internet Explorer 6 at 800×600. No cookies required.