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
Cleanup/reorganization of FLINT imports #16428
Comments
Reviewer: William Stein |
Changed author from R. Andrew Ohana to R. Andrew Ohana, Jeroen Demeyer |
This comment has been minimized.
This comment has been minimized.
Changed branch from u/ohanar/cleanup_flint_imports to u/jdemeyer/ticket/16428 |
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
|
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
|
comment:12
Argh, I basically have a branch doing the same thing... |
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
|
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
|
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
|
Branch pushed to git repo; I updated commit sha1. This was a forced push. New commits:
|
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
This comment has been minimized.
comment:36
I see some |
comment:37
Oops... |
This comment has been minimized.
This comment has been minimized.
comment:39
Replying to @jpflori:
They were unused. Some of them are actually copied to a proper |
comment:40
Eventually the whole file |
comment:41
The array things are in the wrong places in the definition of the Could you correct that in a new commit (that is not doing a forced push). I'll restest everything on top of a vanilla |
comment:42
In fact the array stuff was already misplaced before... |
comment:43
Replying to @jpflori:
Concerning forced pushes: in my mind (this is not official policy), forced pushes are fine before setting a ticket to needs_review. The alternative is not pushing until you have something ready for review, which is worse. |
comment:44
Replying to @jpflori:
Please clarify (or post a reviewer patch), I have no idea what you mean. |
comment:45
There are some
or variations and similar
|
comment:46
I'm basically happy with Jeroen work. Jeroen: can you double check my latest changes? New commits:
|
Changed reviewer from William Stein to William Stein, Jean-Pierre Flori |
Changed branch from u/jdemeyer/ticket/16428 to u/jpflori/ticket/16428 |
comment:47
Sorry, I have no idea what to do (as reviewer) with sagemath/sagetrac-mirror@fc17740 The other 2 commits obviously make sense. |
comment:48
Oops. |
comment:49
So positive_review I assume. |
Changed branch from u/jpflori/ticket/16428 to |
Rename the FLINT
.pxi
files to.pxd
files. Create a new filesrc/sage/libs/flint/types.pxd
with just the type declarations (similar to GMP, very useful to avoid circular imports).Component: misc
Author: R. Andrew Ohana, Jeroen Demeyer
Branch/Commit:
b69be0d
Reviewer: William Stein, Jean-Pierre Flori
Issue created by migration from https://trac.sagemath.org/ticket/16428
The text was updated successfully, but these errors were encountered: