> Le 15 avr. 2020 à 16:41, Dima Pasechnik <dimp...@gmail.com> a écrit : > > You need to copy/symlink all these m4 files. > Spicifically, you seems to have forgotten lib-link.m4, which contains > the definition of AC_LIB_RPATH > you see the error about.
Right. thank you. This way it’s much better and after .configure, I get config.status: creating directory local/var/lib/sage/installed configure: notice: the following SPKGs did not find equivalent system packages: flintqs gf2x gp2c libsemigroups nauty pari_elldata pari_galpol pari_nftables pari_seadata perl_term_readline_gnu checking for the package system in use... homebrew configure: No equivalent system packages for homebrew are known to Sage The last part is curious... I will follow #29504 <https://trac.sagemath.org/ticket/29504> > > On Wed, Apr 15, 2020 at 10:19 PM David Coudert <david.coud...@inria.fr> wrote: >> >> >> >> Le 15 avr. 2020 à 15:50, Dima Pasechnik <dimp...@gmail.com> a écrit : >> >> On Wed, Apr 15, 2020 at 7:13 PM David Coudert <david.coud...@inria.fr> wrote: >> >> >> >> >> Le 15 avr. 2020 à 12:40, Dima Pasechnik <dimp...@gmail.com> a écrit : >> >> On Wed, Apr 15, 2020 at 6:22 PM David Coudert <david.coud...@inria.fr> wrote: >> >> >> I tried that already, but: >> >> confetti:sage dcoudert$ brew install gettext >> Warning: gettext 0.20.1 is already installed and up-to-date >> To reinstall 0.20.1, run `brew reinstall gettext` >> confetti:sage dcoudert$ brew link --force gettext >> Warning: Refusing to link macOS provided/shadowed software: gettext >> If you need to have gettext first in your PATH run: >> echo 'export PATH="/usr/local/opt/gettext/bin:$PATH"' >> ~/.bash_profile >> >> For compilers to find gettext you may need to set: >> export LDFLAGS="-L/usr/local/opt/gettext/lib" >> export CPPFLAGS="-I/usr/local/opt/gettext/include" >> >> >> this is not enough, as you need m4 macros that come with gettext, in >> particular iconv.m4 >> I am not sure where brew installes them exactly, but probably >> somewhere under /usr/local/opt/gettext/ >> Probably /usr/local/opt/gettext/share/aclocal >> but you can find it by running >> >> find /usr/local/opt/ -name iconv.m4 >> >> and then >> >> export M4PATH=$M4PATH:/usr/local/opt/gettext/share/aclocal # (or >> whatever the correct value of the directory is) >> ./bootstrap >> >> PS. Homebrew should get a bug report on this, I gather… >> >> >> not working :(( >> >> confetti:sage dcoudert$ ll /usr/local/opt/gettext/share/aclocal/ >> total 280 >> -rw-r--r-- 1 dcoudert staff 14483 12 mai 2019 gettext.m4 >> -rw-r--r-- 1 dcoudert staff 21489 12 mai 2019 host-cpu-c-abi.m4 >> -rw-r--r-- 1 dcoudert staff 9731 12 mai 2019 iconv.m4 >> -rw-r--r-- 1 dcoudert staff 3321 12 mai 2019 intlmacosx.m4 >> -rw-r--r-- 1 dcoudert staff 5370 12 mai 2019 lib-ld.m4 >> -rw-r--r-- 1 dcoudert staff 32772 15 avr 09:35 lib-link.m4 >> -rw-r--r-- 1 dcoudert staff 9680 15 avr 09:35 lib-prefix.m4 >> -rw-r--r-- 1 dcoudert staff 1229 12 mai 2019 nls.m4 >> -rw-r--r-- 1 dcoudert staff 18831 12 mai 2019 po.m4 >> -rw-r--r-- 1 dcoudert staff 3092 12 mai 2019 progtest.m4 >> confetti:sage dcoudert$ export >> M4PATH=$M4PATH:/usr/local/opt/gettext/share/aclocal/ >> >> >> maybe it should not have / at the end? >> >> Anyway, I presume you can just copy or symlink these files to >> /usr/local/share/aclocal >> and try ./bootstrap again >> >> >> >> I tried that and it’s not better >> >> confetti:sage dcoudert$ ./bootstrap >> rm -rf config configure build/make/Makefile-auto.in >> rm -f src/doc/en/installation/*.txt >> src/doc/bootstrap:48: installing src/doc/en/installation/arch.txt and >> src/doc/en/installation/arch-optional.txt >> src/doc/bootstrap:48: installing src/doc/en/installation/debian.txt and >> src/doc/en/installation/debian-optional.txt >> src/doc/bootstrap:48: installing src/doc/en/installation/fedora.txt and >> src/doc/en/installation/fedora-optional.txt >> src/doc/bootstrap:48: installing src/doc/en/installation/cygwin.txt and >> src/doc/en/installation/cygwin-optional.txt >> bootstrap:69: installing 'config/config.rpath' >> m4/sage_spkg_configures.m4:103: warning: AC_LIB_RPATH is m4_require'd but >> not m4_defun'd >> /usr/local/share/aclocal/iconv.m4:19: AM_ICONV_LINKFLAGS_BODY is expanded >> from... >> /usr/local/share/aclocal/iconv.m4:226: AM_ICONV_LINK is expanded from... >> ../../lib/m4sugar/m4sh.m4:643: AS_IF is expanded from... >> ../../lib/m4sugar/m4sh.m4:643: AS_IF is expanded from... >> ../../lib/m4sugar/m4sh.m4:643: AS_IF is expanded from... >> m4/sage_spkg_collect.m4:310: SAGE_SPKG_COLLECT is expanded from... >> m4/sage_spkg_configures.m4:103: the top level >> m4/sage_spkg_configures.m4:103: warning: AC_LIB_RPATH is m4_require'd but >> not m4_defun'd >> /usr/local/share/aclocal/iconv.m4:19: AM_ICONV_LINKFLAGS_BODY is expanded >> from... >> /usr/local/share/aclocal/iconv.m4:226: AM_ICONV_LINK is expanded from... >> ../../lib/m4sugar/m4sh.m4:643: AS_IF is expanded from... >> ../../lib/m4sugar/m4sh.m4:643: AS_IF is expanded from... >> ../../lib/m4sugar/m4sh.m4:643: AS_IF is expanded from... >> m4/sage_spkg_collect.m4:310: SAGE_SPKG_COLLECT is expanded from... >> m4/sage_spkg_configures.m4:103: the top level >> m4/sage_spkg_configures.m4:103: warning: AC_LIB_RPATH is m4_require'd but >> not m4_defun'd >> aclocal.m4:41: AM_ICONV_LINKFLAGS_BODY is expanded from... >> aclocal.m4:248: AM_ICONV_LINK is expanded from... >> ../../lib/m4sugar/m4sh.m4:643: AS_IF is expanded from... >> ../../lib/m4sugar/m4sh.m4:643: AS_IF is expanded from... >> ../../lib/m4sugar/m4sh.m4:643: AS_IF is expanded from... >> m4/sage_spkg_collect.m4:310: SAGE_SPKG_COLLECT is expanded from... >> m4/sage_spkg_configures.m4:103: the top level >> configure.ac:336: installing 'config/compile' >> configure.ac:113: installing 'config/config.guess' >> configure.ac:113: installing 'config/config.sub' >> configure.ac:68: installing 'config/install-sh' >> configure.ac:68: installing 'config/missing' >> m4/sage_spkg_configures.m4:103: warning: AC_LIB_RPATH is m4_require'd but >> not m4_defun'd >> aclocal.m4:41: AM_ICONV_LINKFLAGS_BODY is expanded from... >> aclocal.m4:248: AM_ICONV_LINK is expanded from... >> ../../lib/m4sugar/m4sh.m4:643: AS_IF is expanded from... >> ../../lib/m4sugar/m4sh.m4:643: AS_IF is expanded from... >> ../../lib/m4sugar/m4sh.m4:643: AS_IF is expanded from... >> m4/sage_spkg_collect.m4:310: SAGE_SPKG_COLLECT is expanded from... >> m4/sage_spkg_configures.m4:103: the top level >> configure:20560: error: possibly undefined macro: AC_LIB_RPATH >> If this token and others are legitimate, please use m4_pattern_allow. >> See the Autoconf documentation. >> configure:20565: error: possibly undefined macro: AC_LIB_LINKFLAGS_BODY >> configure:20573: error: possibly undefined macro: AC_LIB_APPENDTOVAR >> >> >> >> >> >> >> >> confetti:sage dcoudert$ ./bootstrap >> rm -rf config configure build/make/Makefile-auto.in >> rm -f src/doc/en/installation/*.txt >> src/doc/bootstrap:48: installing src/doc/en/installation/arch.txt and >> src/doc/en/installation/arch-optional.txt >> src/doc/bootstrap:48: installing src/doc/en/installation/debian.txt and >> src/doc/en/installation/debian-optional.txt >> src/doc/bootstrap:48: installing src/doc/en/installation/fedora.txt and >> src/doc/en/installation/fedora-optional.txt >> src/doc/bootstrap:48: installing src/doc/en/installation/cygwin.txt and >> src/doc/en/installation/cygwin-optional.txt >> bootstrap:69: installing 'config/config.rpath' >> build/pkgs/iconv/spkg-configure.m4:2: warning: macro 'AM_ICONV' not found in >> library >> configure.ac:336: installing 'config/compile' >> configure.ac:113: installing 'config/config.guess' >> configure.ac:113: installing 'config/config.sub' >> configure.ac:68: installing 'config/install-sh' >> configure.ac:68: installing 'config/missing' >> configure:20606: error: possibly undefined macro: AM_ICONV >> If this token and others are legitimate, please use m4_pattern_allow. >> See the Autoconf documentation. >> >> >> >> >> >> >> >> >> >> >> >> even setting the LDFLAGS and CPPFLAGS, I still get >> Checking whether SageMath should install SPKG iconv... >> ./configure: line 20606: AM_ICONV: command not found >> configure: no suitable system package found for SPKG iconv >> >> >> I can work with that for now. >> >> Best, >> David. >> >> >> Le 15 avr. 2020 à 12:00, Dima Pasechnik <dimp...@gmail.com> a écrit : >> >> On Wed, Apr 15, 2020 at 5:33 PM David Coudert <david.coud...@inria.fr> wrote: >> >> >> it gives the following. Not clear to me. >> >> confetti:sage dcoudert$ ./bootstrap >> rm -rf config configure build/make/Makefile-auto.in >> rm -f src/doc/en/installation/*.txt >> src/doc/bootstrap:48: installing src/doc/en/installation/arch.txt and >> src/doc/en/installation/arch-optional.txt >> src/doc/bootstrap:48: installing src/doc/en/installation/debian.txt and >> src/doc/en/installation/debian-optional.txt >> src/doc/bootstrap:48: installing src/doc/en/installation/fedora.txt and >> src/doc/en/installation/fedora-optional.txt >> src/doc/bootstrap:48: installing src/doc/en/installation/cygwin.txt and >> src/doc/en/installation/cygwin-optional.txt >> bootstrap:69: installing 'config/config.rpath' >> build/pkgs/iconv/spkg-configure.m4:2: warning: macro 'AM_ICONV' not found in >> library >> configure.ac:336: installing 'config/compile' >> configure.ac:113: installing 'config/config.guess' >> configure.ac:113: installing 'config/config.sub' >> configure.ac:68: installing 'config/install-sh' >> configure.ac:68: installing 'config/missing' >> configure:20606: error: possibly undefined macro: AM_ICONV >> If this token and others are legitimate, please use m4_pattern_allow. >> See the Autoconf documentation. >> >> >> internet says that you need >> >> brew Install gettext >> brew link --force gettext >> >> >> >> confetti:sage dcoudert$ >> >> >> Le 15 avr. 2020 à 11:26, David Coudert <david.coud...@inria.fr> a écrit : >> >> no. I will try that. >> David. >> >> Le 15 avr. 2020 à 11:24, Dima Pasechnik <dimp...@gmail.com> a écrit : >> >> On Wed, Apr 15, 2020 at 4:58 PM David Coudert <david.coud...@inria.fr> wrote: >> >> >> unfortunately not. >> I installed gettext with brew some time ago now and added >> /usr/local/opt/gettext/bin to my PATH, but it’s not working. >> >> did you re-run >> >> ./bootstrap >> >> ? >> >> Checking whether SageMath should install SPKG iconv... >> ./configure: line 20606: AM_ICONV: command not found >> configure: no suitable system package found for SPKG iconv >> >> >> >> Le 15 avr. 2020 à 03:06, Dima Pasechnik <dimp...@gmail.com> a écrit : >> >> On Wed, Apr 15, 2020 at 2:22 AM David Coudert <david.coud...@inria.fr> wrote: >> >> >> >> >> Le 14 avr. 2020 à 18:15, John H Palmieri <jhpalmier...@gmail.com> a écrit : >> >> I would suggest two things: >> >> $ brew install pkg-config >> >> and then before building Sage, while in SAGE_ROOT: >> >> $ source .homebrew-build-env >> >> Then try ./configure to see what it says at the end about system packages. >> >> >> >> I installed some more packages and did what you proposed. >> I still get issues with pari / flint and so all related packages. >> >> configure: notice: the following SPKGs did not find equivalent system >> packages: arb brial cddlib cliquer eclib ecm fflas_ffpack flint flintqs >> fplll gf2x givaro gp2c iconv lcalc libatomic_ops libbraiding libsemigroups >> lrcalc m4rie nauty pari pari_elldata pari_galdata pari_galpol pari_nftables >> pari_seadata pari_seadata_small perl_term_readline_gnu planarity r rw >> symmetrica tachyon >> checking for the package system in use... homebrew >> configure: hint: installing the following system packages is recommended and >> may avoid building some of the above SPKGs from source: >> configure: $ brew install r >> >> I also have an issue with AM_ICONV, although I have gettext (with path in >> $PATH), readline (recognized) and libiconv. >> Checking whether SageMath should install SPKG iconv... >> ./configure: line 20606: AM_ICONV: command not found >> configure: no suitable system package found for SPKG iconv >> >> >> AM_ICONV is a part of gettext >> >> brew install gettext >> >> should fix it. >> >> >> Don’t know how to fix that. >> I think it’s currently why r is not accepted. >> >> Best, >> David. >> >> >> >> On Tuesday, April 14, 2020 at 6:21:40 AM UTC-7, David Coudert wrote: >> >> >> I assume there is nothing simple I can do to fix this. >> Thanks, >> David. >> >> Le 14 avr. 2020 à 15:09, Dima Pasechnik <dim...@gmail.com> a écrit : >> >> On Tue, Apr 14, 2020 at 8:41 PM David Coudert <david....@inria.fr> wrote: >> >> >> I have similar issues on osx. >> >> I installed several packages using brew. Some of them are recognized, but >> not some others. >> I suspect that I'm missing some dependencies, and possibly some environment >> variables. >> >> For instance, I installed amp, mpfr, mpir, ntl and flint, and flint is the >> only one not accepted. Why ? >> >> I have also an issue with readline. I'm unable to tell sage that it has been >> installed with brew :( >> >> Any advise is more than welcome. >> Best, >> David. >> >> ----------------------------------------------------------------------------- >> >> Checking whether SageMath should install SPKG mpfr... >> >> checking installing gmp/mpir? ... no >> >> checking mpfr.h usability... yes >> >> checking mpfr.h presence... yes >> >> checking for mpfr.h... yes >> >> checking for library containing mpfr_free_pool... -lmpfr >> >> configure: will use system package and not install SPKG mpfr >> >> using mpfr library from the system >> >> ----------------------------------------------------------------------------- >> >> Checking whether SageMath should install SPKG ntl... >> >> checking installing gmp/mpir? ... no >> >> checking NTL/ZZ.h usability... yes >> >> checking NTL/ZZ.h presence... yes >> >> checking for NTL/ZZ.h... yes >> >> checking whether we can link a program using NTL... yes >> >> checking NTL version >= 10.3... 11.4.3 >> >> configure: will use system package and not install SPKG ntl >> >> using ntl library from the system >> >> ----------------------------------------------------------------------------- >> >> Checking whether SageMath should install SPKG flint... >> >> checking installing mpfr or ntl? ... checking flint/flint.h usability... yes >> >> checking flint/flint.h presence... yes >> >> checking for flint/flint.h... yes >> >> checking for library containing fmpz_mat_is_hadamard... -lflint >> >> checking for library containing fmpz_poly_get_ZZX... no >> >> configure: no suitable system package found for SPKG flint >> >> using Sage's flint SPKG >> >> >> Apparently in your Arch Flint is not linked with NTL, while this is a >> requirement for it to be >> in useful in Sage. >> >> E.g. that's on Debian: >> >> dimpase@penguin:~/sage$ ldd /usr/lib/x86_64-linux-gnu/libflint-arb.so >> linux-vdso.so.1 (0x00007fff6a5fe000) >> libflint-2.5.2.so => /usr/lib/libflint-2.5.2.so (0x00007d084386d000) >> libmpfr.so.6 => /usr/lib/x86_64-linux-gnu/libmpfr.so.6 (0x00007d08437eb000) >> libgmp.so.10 => /usr/lib/x86_64-linux-gnu/libgmp.so.10 (0x00007d0843768000) >> libm.so.6 => /lib/x86_64-linux-gnu/libm.so.6 (0x00007d08435e5000) >> libpthread.so.0 => /lib/x86_64-linux-gnu/libpthread.so.0 (0x00007d08435c4000) >> libc.so.6 => /lib/x86_64-linux-gnu/libc.so.6 (0x00007d0843403000) >> /lib64/ld-linux-x86-64.so.2 (0x00007d0843e39000) >> libntl.so.35 => /usr/lib/libntl.so.35 (0x00007d0842fd2000) >> libstdc++.so.6 => /usr/lib/x86_64-linux-gnu/libstdc++.so.6 >> (0x00007d0842e4e000) >> libgcc_s.so.1 => /lib/x86_64-linux-gnu/libgcc_s.so.1 (0x00007d0842e34000) >> libgf2x.so.1 => /usr/lib/x86_64-linux-gnu/libgf2x.so.1 (0x00007d0842c26000) >> >> So you see libntl there. >> >> >> >> >> ----------------------------------------------------------------------------- >> >> >> >> >> >> >> Le jeudi 19 mars 2020 14:52:46 UTC+1, vdelecroix a écrit : >> >> >> Dear all, >> >> Thanks to hard work it is now possible to use some package from >> the system! That is great! But on my archlinux computer that also >> has sage installed from the package manager the following >> packages are still detected has "to be installed" >> >> * eclib-20190909 >> * givaro-4.1.1 >> * lcalc-1.23.p19 >> * pari-2.11.2 >> * pari_galdata-20080411.p0 >> * pari_seadata_small-20090618.p0 >> >> The relevant package in archlinux I have are >> >> * community/eclib 20190909-8 >> * community/givaro 4.1.1-1 >> * community/lcalc 1.23-19 >> * community/pari 2.11.3-2 >> * community/pari-galdata 20080411-2 >> * community/pari-seadata-small 20090618-2 >> >> Should I suspect that something is wrong with the Sage >> configure scripts? Or that something is wrong with the packages >> from archlinux? >> >> Best >> Vincent >> >> >> -- >> 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-...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/22c61efc-e6c6-48b7-9cfc-483dc548af93%40googlegroups.com. >> >> >> -- >> You received this message because you are subscribed to a topic in the >> Google Groups "sage-devel" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/sage-devel/JgArPVx7dwg/unsubscribe. >> To unsubscribe from this group and all its topics, send an email to >> sage-...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/CAAWYfq3vubtGJ-Qj%3DF_CMZEA22Qw_ORBoJB_VvsPP3%3DhmecZ%3DQ%40mail.gmail.com. >> >> >> ---- >> David Coudert >> Equipe-Projet COATI >> Centre de Recherche INRIA Sophia Antipolis - Méditerranée >> Université Côte d’Azur, Inria, CNRS, I3S, France >> http://www-sop.inria.fr/members/David.Coudert >> >> >> -- >> You received this message because you are subscribed to a topic in the >> Google Groups "sage-devel" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/sage-devel/JgArPVx7dwg/unsubscribe. >> To unsubscribe from this group and all its topics, send an email to >> sage-devel+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/9f66173c-8e03-4fa7-9019-8fa56b5d36d8%40googlegroups.com. >> >> >> ---- >> David Coudert >> Equipe-Projet COATI >> Centre de Recherche INRIA Sophia Antipolis - Méditerranée >> Université Côte d’Azur, Inria, CNRS, I3S, France >> http://www-sop.inria.fr/members/David.Coudert >> >> -- >> 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 view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/FAFD48F6-81C8-4FEF-81AA-11EEEC8B31BF%40inria.fr. >> >> >> -- >> You received this message because you are subscribed to a topic in the >> Google Groups "sage-devel" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/sage-devel/JgArPVx7dwg/unsubscribe. >> To unsubscribe from this group and all its topics, send an email to >> sage-devel+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/CAAWYfq280ZAA5HYpmOFz2U-%2B5FzL22toR7ixm4eYKGCy%2BLRg1w%40mail.gmail.com. >> >> >> ---- >> David Coudert >> Equipe-Projet COATI >> Centre de Recherche INRIA Sophia Antipolis - Méditerranée >> Université Côte d’Azur, Inria, CNRS, I3S, France >> http://www-sop.inria.fr/members/David.Coudert >> >> -- >> 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 view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/5EB86527-E743-49AA-ABE2-6A36F1CE6739%40inria.fr. >> >> >> -- >> You received this message because you are subscribed to a topic in the >> Google Groups "sage-devel" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/sage-devel/JgArPVx7dwg/unsubscribe. >> To unsubscribe from this group and all its topics, send an email to >> sage-devel+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/CAAWYfq3UzgABRDA7%3DmygeDkwsEt%3DfvqSqeytfrQjXrZYmOteHA%40mail.gmail.com. >> >> >> ---- >> David Coudert >> Equipe-Projet COATI >> Centre de Recherche INRIA Sophia Antipolis - Méditerranée >> Université Côte d’Azur, Inria, CNRS, I3S, France >> http://www-sop.inria.fr/members/David.Coudert >> >> >> -- >> You received this message because you are subscribed to a topic in the >> Google Groups "sage-devel" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/sage-devel/JgArPVx7dwg/unsubscribe. >> To unsubscribe from this group and all its topics, send an email to >> sage-devel+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/88EF3481-8D09-4792-BF51-3ABDE372AB20%40inria.fr. >> >> >> ---- >> David Coudert >> Equipe-Projet COATI >> Centre de Recherche INRIA Sophia Antipolis - Méditerranée >> Université Côte d’Azur, Inria, CNRS, I3S, France >> http://www-sop.inria.fr/members/David.Coudert >> >> -- >> 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 view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/CD831DEA-8604-4130-902B-CAF6BF915E83%40inria.fr. >> >> >> -- >> You received this message because you are subscribed to a topic in the >> Google Groups "sage-devel" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/sage-devel/JgArPVx7dwg/unsubscribe. >> To unsubscribe from this group and all its topics, send an email to >> sage-devel+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/CAAWYfq2hqSY%2BM30zEH3Q2DxderMfjPnF9QG8Hc4%3DEEWjorZ-ZA%40mail.gmail.com. >> >> >> ---- >> David Coudert >> Equipe-Projet COATI >> Centre de Recherche INRIA Sophia Antipolis - Méditerranée >> Université Côte d’Azur, Inria, CNRS, I3S, France >> http://www-sop.inria.fr/members/David.Coudert >> >> -- >> 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 view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/F2DF7105-CB30-448B-8E44-1DE1D65DC3F1%40inria.fr. >> >> >> -- >> You received this message because you are subscribed to a topic in the >> Google Groups "sage-devel" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/sage-devel/JgArPVx7dwg/unsubscribe. >> To unsubscribe from this group and all its topics, send an email to >> sage-devel+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/CAAWYfq2%3DBpm_A5WUWZigts%2BL8sGAiF84DP%3D%2BJ8A-uVGvC4xq6A%40mail.gmail.com. >> >> >> ---- >> David Coudert >> Equipe-Projet COATI >> Centre de Recherche INRIA Sophia Antipolis - Méditerranée >> Université Côte d’Azur, Inria, CNRS, I3S, France >> http://www-sop.inria.fr/members/David.Coudert >> >> -- >> 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 view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/AD05EC8C-4368-472C-AECD-E4FE95346C1C%40inria.fr. >> >> >> -- >> You received this message because you are subscribed to a topic in the >> Google Groups "sage-devel" group. >> To unsubscribe from this topic, visit >> https://groups.google.com/d/topic/sage-devel/JgArPVx7dwg/unsubscribe. >> To unsubscribe from this group and all its topics, send an email to >> sage-devel+unsubscr...@googlegroups.com. >> To view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/CAAWYfq0H_eZn95DQMGoBP3O1-iXkMotUn3oxitgrJs1FrKmV9Q%40mail.gmail.com. >> >> >> ---- >> David Coudert >> Equipe-Projet COATI >> Centre de Recherche INRIA Sophia Antipolis - Méditerranée >> Université Côte d’Azur, Inria, CNRS, I3S, France >> http://www-sop.inria.fr/members/David.Coudert >> >> -- >> 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 view this discussion on the web visit >> https://groups.google.com/d/msgid/sage-devel/222DEDEA-BDCD-457D-B7F7-73E5373778F4%40inria.fr. > > -- > You received this message because you are subscribed to a topic in the Google > Groups "sage-devel" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/sage-devel/JgArPVx7dwg/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > sage-devel+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/sage-devel/CAAWYfq2XrnNQZvACERhQvE9eAebj%3DjAf1c4A7O%3D1Ov6FdgS4gA%40mail.gmail.com. ---- David Coudert Equipe-Projet COATI Centre de Recherche INRIA Sophia Antipolis - Méditerranée Université Côte d’Azur, Inria, CNRS, I3S, France http://www-sop.inria.fr/members/David.Coudert -- 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/86662B69-A7A1-4030-A378-F20C5B69856B%40inria.fr.
