[sage-devel] compiling error for 8.8.beta6 on Red Hat 6.10

2019-05-27 Thread Christian Stump
I am getting errors building * package: gfan-0.6.2.p1 * package: ppl-1.2.p1 please see the attached logs. For ppl configure: error: Cannot find GMP version 4.1.3 or higher. and for gfan ./gfan: /usr/lib64/libstdc++.so.6: version `GLIBCXX_3.4.20' not found (required by ./gfan) ./gfan:

[sage-devel] Re: python3 report (may of the last python2 year)

2019-05-27 Thread David Coudert
> * There are some remaining hard problems in graphs, under current scrutiny > I think. > The main remaining issues in the graph module are related to isomorphisms, automorphisms, and related methods. 1) #27571: align behaviors of algorithm 'sage' and 'bliss' in `automorphism_group` and fix

[sage-devel] Re: compiling error for 8.8.beta6 on Red Hat 6.10

2019-05-27 Thread Christian Stump
(only realizing now that the "attaching the logs" failed yesterday...) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To

[sage-devel] Re: direct sums, products and other categorical constructions

2019-05-27 Thread Simon Brandhorst
Hi Simon, I would agree that I want unique representation with simple "ambient" objects (usually constructed from an integer and maybe a ring). Then with complicated objects I am not so sure anymore. Say subgroups of a group and submodules of a module. There it might cause more trouble than