Opened 6 years ago
Last modified 6 years ago
#20107 closed enhancement
Add optional gap3_jm package — at Version 13
Reported by: | stumpc5 | Owned by: | |
---|---|---|---|
Priority: | major | Milestone: | sage-7.2 |
Component: | packages: experimental | Keywords: | gap3, experimental package |
Cc: | saliola, tscrim, jmichel, SimonKing | Merged in: | |
Authors: | Reviewers: | ||
Report Upstream: | N/A | Work issues: | |
Branch: | Commit: | ||
Dependencies: | Stopgaps: |
Description (last modified by )
We have been trying to have an optional GAP3 package for a while now. Instead of the official GAP3, we instead use a forked package gap3_jm which has regularly been updated.
Previously, this was made a Sage package (#8906) but it contained binaries, so it was removed again (#19164).
We now know how to make the package work for linux, but osx seems to be a problem.
- Get rid of the binaries in
bin pkg/anusq/bin/Sq pkg/arep/bin/desauto pkg/arep/bin/leonin pkg/arep/bin/leonout pkg/meataxe/tests/a1 pkg/meataxe/tests/a2 pkg/meataxe/tests/Perm1 pkg/meataxe/tests/Perm2 pkg/nq/bin/nq pkg/sisyphos/bin/sis-i586-unknown-linux pkg/ve/bin/me pkg/ve/bin/qme
(Jean sent me that list, needs to be checked.) - Write the code to compile gap3_jm from source and put it into the right place.
Change History (13)
comment:1 Changed 6 years ago by
comment:2 in reply to: ↑ description ; follow-up: ↓ 3 Changed 6 years ago by
Replying to stumpc5:
- Download GAP3 from https://webusers.imj-prg.fr/~jean.michel/gap3/
I think this is the problem: it doesn't seem to be the "official" GAP3 package, just some random repackaging of GAP3.
comment:3 in reply to: ↑ 2 ; follow-up: ↓ 4 Changed 6 years ago by
Replying to jdemeyer:
I think this is the problem: it doesn't seem to be the "official" GAP3 package, just some random repackaging of GAP3.
The development of GAP3 has stopped a long time ago. But there are several GAP3 packages that have never been ported to GAP4, and which are still developed.
From that webpage:
To help people who are just interested in GAP3 because they need a package which has not been ported to GAP4, I have prepared an easy-to install minimal GAP3 distribution containing an up-to-date versions of the packages.
So this is the only place where we can find up-to-date versions of the GAP3 package *chevie* to work with unitary reflection groups and their representation theory.
I fail to see what might be wrong with adding support for those packages using that "random repackaging" since I and several others need them.
I install the packages myself and then use them from within Sage, but since several things inside Sage are about to depend on that package - see #11187, #11010, #10819 - I think it is worth providing the option for others to automatically install that version of GAP3 with the newest *chevie* package.
comment:4 in reply to: ↑ 3 Changed 6 years ago by
Replying to stumpc5:
Replying to jdemeyer:
I think this is the problem: it doesn't seem to be the "official" GAP3 package, just some random repackaging of GAP3.
The development of GAP3 has stopped a long time ago. But there are several GAP3 packages that have never been ported to GAP4, and which are still developed.
From that webpage:
To help people who are just interested in GAP3 because they need a package which has not been ported to GAP4, I have prepared an easy-to install minimal GAP3 distribution containing an up-to-date versions of the packages.
All the above doesn't explain why you use the repackaged version and not the official GAP 3 release from http://www.gap-system.org/Gap3/Download3/download.html
So this is the only place where we can find up-to-date versions of the GAP3 package *chevie* to work with unitary reflection groups and their representation theory.
No, the official gap3r4p4
release also contains chevie.
I fail to see what might be wrong with adding support for those packages using that "random repackaging" since I and several others need them.
Because the repackaging seems to made in a messy way, see #19164.
comment:5 follow-up: ↓ 6 Changed 6 years ago by
Frank Lübeck's page How to get CHEVIE also says to download the official GAP3 release and doesn't talk about the "repackaged" version.
comment:6 in reply to: ↑ 5 Changed 6 years ago by
- Cc jmichel added
Replying to jdemeyer:
Frank Lübeck's page How to get CHEVIE also says to download the official GAP3 release and doesn't talk about the "repackaged" version.
Neither this nor the above is up-to-date. Afaik, Jean Michel is the only person still actively developing *chevie* and his website is the only place where these new versions can be found. E.g., I found a small bug in chevie last month (so years after the release of gap3r4p4
) through my Sage usage -- Jean fixed it within a few hours and posted the new version on his website.
Using any other version of gap3 and chevie will result in running into old mistakes that will slow down my understanding of research problems I compute!
comment:7 Changed 6 years ago by
Jean fixed it within a few hours and posted the new version on his website.
With "new version", I guess you mean a new version of the repackaged GAP3?
It should be possible to just get the up-to-date chevie sources without all the extra clutter.
comment:8 Changed 6 years ago by
From my email discussion with Jean Michel:
>> These days I sometimes change files in other places than Chevie, so indeed >> each time I change something one must take the whole distribution (however >> I almost never change the C sources). > Is the stuff that you change in other places needed for chevie to run? Well, yes. There were patches to the library loaded when loading Chevie. Since I maintain the whole distribution, I decided it makes more sense to *do* these patches to the library once and for all (this could fix undiscovered bugs in other packages). So the correct behaviour of Chevie depends on having my version of gap3/lib.
@Jeroen, what do you think how to proceed from here?
comment:9 Changed 6 years ago by
First of all, thanks for the clarifications!
I think that somebody (either Jean Michel himself or somebody on this Sage ticket) needs to package a source-only repackaged GAP3.
Further questions to be asked to Jean Michel:
- Could he state more clearly on his website that his version is not just a repackaged GAP3, it's really a fork of GAP3 with additional fixes which are not in GAP3 proper.
- Can he provide a clean source-only repackaged GAP3?
- If no to the previous question: is he willing to host such a source-only repackaged GAP3 on his website, if it is created by some Sage contributor?
comment:10 Changed 6 years ago by
- Description modified (diff)
- Summary changed from Add again optional GAP3 package to Add optional gap3_jm package
comment:11 follow-up: ↓ 12 Changed 6 years ago by
Replying to jdemeyer:
I think that somebody (either Jean Michel himself or somebody on this Sage ticket) needs to package a source-only repackaged GAP3.
I don't understand how this differs from my initial suggestion on this ticket.
comment:12 in reply to: ↑ 11 Changed 6 years ago by
Replying to stumpc5:
I don't understand how this differs from my initial suggestion on this ticket.
It does not differ. It's just that the situation has been clarified, making sure that your initial suggestion is the right thing to do.
comment:13 Changed 6 years ago by
- Description modified (diff)
How do I actually find all binaries? Such as
Are any of these okay to keep, such as the dvi files?