Changeset 5e781f in git


Ignore:
Timestamp:
Feb 20, 2020, 11:43:39 AM (4 years ago)
Author:
Hans Schoenemann <hannes@…>
Branches:
(u'spielwiese', '8e0ad00ce244dfd0756200662572aef8402f13d5')
Children:
6b44a806d602e8ec6446a900742a49e24adb1277
Parents:
cce62fd4f828ad04b6f9fe5a21640b663ff10d92952bd16f81a8201bef77089607be00955c2a12fb
Message:
Merge branch 'flint_detection' of https://github.com/kiwifb/Sources into kiwifb-flint_detection
Files:
29 edited

Legend:

Unmodified
Added
Removed

  • COPYING

    r952bd16 r5e781f  
    4747
    4848For information on how to cite SINGULAR see
    49 <http://www.singular.uni-kl.de/index.php/how-to-cite-singular>.
     49<https://www.singular.uni-kl.de/index.php/how-to-cite-singular>.
    5050
    5151You can also support SINGULAR by informing us about your result obtained
    … …  
    5656
    5757The latest information regarding the status of SINGULAR is always
    58 available from <http://www.singular.uni-kl.de>.
     58available from <https://www.singular.uni-kl.de>.
    5959
    6060Acknowledgements

  • README

    r952bd16 r5e781f  
    1111
    1212* Homepage:
    13     <http://www.singular.uni-kl.de/>
     13    <https://www.singular.uni-kl.de/>
    1414
    1515* Source code:
    … …  
    1717
    1818* User Manual:
    19     <http://www.singular.uni-kl.de/Manual/latest>
     19    <https://www.singular.uni-kl.de/Manual/latest>
    2020
    2121* Bug/Issue-Tracker:
    … …  
    2626
    2727* [Developer and Reference Manual:](@ref main_page)
    28    <http://www.singular.uni-kl.de/dox/html>
     28   <https://www.singular.uni-kl.de/dox/html>
    2929

  • README.md

    r952bd16 r5e781f  
    1111
    1212* Homepage:
    13     <http://www.singular.uni-kl.de/>
     13    <https://www.singular.uni-kl.de/>
    1414
    1515* Source code:
    … …  
    1717
    1818* User Manual:
    19     <http://www.singular.uni-kl.de/Manual/latest>
     19    <https://www.singular.uni-kl.de/Manual/latest>
    2020
    2121* Bug/Issue-Tracker:
    … …  
    2626
    2727* [Developer and Reference Manual:](@ref main_page)
    28    <http://www.singular.uni-kl.de/dox/html>
     28   <https://www.singular.uni-kl.de/dox/html>
    2929

  • Singular/LIB/finvar.lib

    r952bd16 r5e781f  
    124124      min=s[2,1];
    125125    }
    126     if (n*j==i)                        // the earliest possible point to break
    127     { break;
    128     }
     126    if (n*j==i) break;                 // the earliest possible point to break
    129127    j++;
    130128  }

  • Singular/LIB/invar.lib

    r952bd16 r5e781f  
    1616  SLreynolds(f)          applies the Reynolds operator to f
    1717  torusreynolds(f)       applies the Reynolds operator to f if the group is a torus or a finite group.
    18   cyclotomic(n,z)        the n-th cyclotomic polynomial in the variable z.
    1918";
    2019LIB "matrix.lib";
     20LIB "finvar.lib"; // for cyclotomic
    2121
    2222////////////////////////////////////////////////////////////////////////////////
    … …  
    362362
    363363////////////////////////////////////////////////////////////////////////////////
    364 // cyclotomic(n,z) gives the n-th cyclotomic polynomial in z, where z is
    365 // a variable.
    366 ////////////////////////////////////////////////////////////////////////////////
    367 proc cyclotomic(n,poly z)
    368 "USAGE: cyclotomic(n,z) int n, variable z
    369 RETURNS:  the n-th cyclotomic polynomial in z"
    370 {       poly h=z**n-1;
    371         ideal id=h;
    372         id=std(id);
    373         poly f=z-1;
    374         int i=prime(n-1);
    375         while(i<>2)
    376                 {if (n%i==0) {f=f*(z**(n div i)-1);};
    377                 i=prime(i-1);};
    378         if (n%2==0) {f=f*(z**(n div 2)-1);};
    379         h=h/gcd(f,h);
    380         return(h/leadcoef(h));
    381 }
    382 
    383 ////////////////////////////////////////////////////////////////////////////////
    384364// finite(n) sets the current group to a finite group of order n.
    385365////////////////////////////////////////////////////////////////////////////////
    … …  
    396376{       ring group=0,(g(1),g(2)),dp(2);
    397377        export group;
    398         ideal groupideal=g(2)^n-1,cyclotomic(n,g(1));
     378        ideal groupideal=g(2)^n-1,cyclotomic(n);
    399379        groupideal=std(groupideal);
    400380        export groupideal;

  • Singular/LIB/surfex/doc/surfex_doc.tex

    r952bd16 r5e781f  
    155155It uses the Linux emulation {\sc cygwin}.
    156156The {\sc Singular} team provides their great software on their website:
    157 \href{http://www.singular.uni-kl.de}{\tt www.singular.uni-kl.de}.
     157\href{https://www.singular.uni-kl.de}{\tt www.singular.uni-kl.de}.
    158158It is very easy to install; just follow the instructions.
    159159
    … …  
    175175
    176176However, for some systems there exist pre-compiled versions, see e.g.\ the
    177 {\sc Singular} website: \href{http://www.singular.uni-kl.de}{\tt
     177{\sc Singular} website: \href{https://www.singular.uni-kl.de}{\tt
    178178  www.singular.uni-kl.de}.
    179179These versions run on many Linux systems.

  • Singular/Singular.rc.in

    r952bd16 r5e781f  
    5454   VALUE "ProductVersion","@SINGULAR_VERSION@\000"
    5555   VALUE "ProductDate", "@VERSION_DATE@\000"
    56    VALUE "URL", "http://www.singular.uni-kl.de\000"
     56   VALUE "URL", "https://www.singular.uni-kl.de\000"
    5757  END
    5858 END

  • Singular/feOpt.cc

    r952bd16 r5e781f  
    417417
    418418  printf("\nFor more information, type `help;' from within Singular or visit\n");
    419   printf("http://www.singular.uni-kl.de or consult the\n");
     419  printf("https://www.singular.uni-kl.de or consult the\n");
    420420  printf("Singular manual (available as on-line info or html manual).\n");
    421421}

  • doc/COPYING.texi

    r952bd16 r5e781f  
    6666If you want to be informed of new releases,
    6767please register as a @sc{Singular} user by
    68 @c using the
    69 @c registration form on the @sc{Singular} homepage
    70 @c               @uref{http://www.singular.uni-kl.de}.
    71 @c If for some reason you cannot access the registration form, you
    72 @c can also register by
    7368sending an email to
    7469              @email{singular@@mathematik.uni-kl.de}
    … …  
    7873
    7974For information on how to cite @sc{Singular} see
    80 @*@uref{http://www.singular.uni-kl.de/index.php/how-to-cite-singular}.
     75@*@uref{https://www.singular.uni-kl.de/index.php/how-to-cite-singular}.
    8176
    8277You can also support @sc{Singular} by informing us about
    … …  
    8681
    8782The latest information regarding the status of @sc{Singular} is always
    88 available from @uref{http://www.singular.uni-kl.de}.
     83available from @uref{https://www.singular.uni-kl.de}.
    8984@ifset singularmanual
    9085The program @sc{Singular} and the above mentioned parts are available via

  • doc/Development-model.md

    r952bd16 r5e781f  
    55* development is to be done within personal (github) forks of the Sources repository
    66* the main Sources repository hosts only _official_ master and spielwiese branches
    7 * there are a few people with push access to the Sources repository, who handle pull requests to master and spielwiese (Hans, Cristian, Oleksandr)
    8 * special repository for CI with TeamCity [(internal)](http://snork.mathematik.uni-kl.de:31111/): [Singular/spielwiese-ci](https://github.com/Singular/spielwiese-ci), see Oleksandr's [talk](http://www.mathematik.uni-kl.de/~motsak/talks/Software_development_CAS_Singular.pdf). The git commands for TC testing may look as follows:
    9   * `git remote add TC git@github.com:Singular/spielwiese-ci.git` # initial setup
    10   * `git push TC +HEAD:remote-run/your_TC_user_name/feature_name` # testing with TC after a local commit (on Linuxes)
    11   * `git push TC +HEAD:remote-run**/no-ntl/**your_TC_user_name/feature_name` # testing with TC after a local commit **without NTL** (on Linuxes)
    12   * `git push TC +HEAD:remote-run**/no-ntl-but-flint/**your_TC_user_name/feature_name` # testing with TC after a local commit **without NTL** but **with FLINT** (on Linuxes)
    13   * `git push TC +HEAD:remote-run**/osx/**your_TC_user_name/feature_name` # testing with TC after a local commit **on Mac OS X**
    14   * `git push TC +HEAD:remote-run**/debug/**your_TC_user_name/feature_name` # testing with TC after a local commit **with debug** (on Linuxes)
    15   * `git push TC +HEAD:remote-run**/static/**your_TC_user_name/feature_name` # testing with TC after a local commit **static build** without dynamic modules (on Linuxes)
    16   * Note that for this you need to be registered on TC (register at [(internal)](http://snork.mathematik.uni-kl.de:31111/login.html) and ask Oleksandr to assign you a proper developer's role)
     7* there are a few people with push access to the Sources repository, who handle pull requests to master and spielwiese (Hans, Christian, Oleksandr)

  • doc/ESingular.man

    r952bd16 r5e781f  
    3333.PP
    3434For more information, type `help;' from within Singular or visit
    35 http://www.singular.uni\-kl.de or consult the
     35https://www.singular.uni\-kl.de or consult the
    3636Singular manual (available as on\-line info or html manual).
    3737.SH "SEE ALSO"

  • doc/HOWTO-libsingular

    r952bd16 r5e781f  
    11The following is valid for Singular 4-x-x:
    2 (for technical details see http://www.singular.uni-kl.de/Manual/modules.pdf)
     2(for technical details see https://www.singular.uni-kl.de/Manual/modules.pdf)
    33
    44./configure --disable-static ....

  • doc/How-To-Contribute.md

    r952bd16 r5e781f  
    2323following tool <http://hub.github.com>.
    2424
    25 @note A mirror of the repository is available at <git://www.singular.uni-kl.de/Singular.git>, with a web interface
    26 at <http://www.singular.uni-kl.de/git>
    27 
    28 Another mirror can be found at Google Code: <https://code.google.com/p/singular/>

  • doc/Singular.man

    r952bd16 r5e781f  
    9393.PP
    9494For more information, type `help;' from within Singular or visit
    95 http://www.singular.uni\-kl.de or consult the
     95https://www.singular.uni\-kl.de or consult the
    9696Singular manual (available as on\-line info or html manual).
    9797.PP

  • doc/TSingular.man

    r952bd16 r5e781f  
    2525.PP
    2626For more information, type `help;' from within Singular or visit
    27 http://www.singular.uni\-kl.de or consult the
     27https://www.singular.uni\-kl.de or consult the
    2828Singular manual (available as on\-line info or html manual).
    2929.SH "SEE ALSO"

  • doc/changes_in_singular4.texi

    r952bd16 r5e781f  
    168168
    169169In particular we have separated everything related to coeffcient rings into a separate library @code{libcoeffs}.
    170 Dependency tree between restructured packages is show at @uref{http://www.singular.uni-kl.de/dox/singular.png}
     170Dependency tree between restructured packages is show at @uref{https://www.singular.uni-kl.de/dox/singular.png}
    171171
    172172In order to use @code{libSingular} as a C++ library, see @ref{libSingular}.

  • doc/external-packages-dynamic-modules.md

    r952bd16 r5e781f  
    1212* NTL (works on cygwin32/cygwin64, tested with 6.0.0)
    1313
    14 ps: [3rd party software used by Singular](http://www.singular.uni-kl.de/index.php/third-party-software/software-used-by-singular.html) and [Preface](http://www.singular.uni-kl.de/Manual/3-1-6/sing_1.htm#SEC1)
     14ps: [3rd party software used by Singular](https://www.singular.uni-kl.de/index.php/third-party-software/software-used-by-singular.html) and [Preface](https://www.singular.uni-kl.de/Manual/3-1-6/sing_1.htm#SEC1)
    1515
    1616

  • doc/t2h_singular.init

    r952bd16 r5e781f  
    6464  print $fh <<EOT;
    6565<FONT SIZE="-1">
    66 &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; User manual for <A HREF="http://www.singular.uni-kl.de/"><I>Singular</I></A> version $value{VERSION}, $value{VERSION_DATE},
     66&nbsp; &nbsp; &nbsp; &nbsp; &nbsp; &nbsp; User manual for <A HREF="https://www.singular.uni-kl.de/"><I>Singular</I></A> version $value{VERSION}, $value{VERSION_DATE},
    6767generated by <I>texi2html</I>.
    6868</FONT>
    … …  
    175175{
    176176  return <<EOT;
    177 This document is the user manual for <A HREF="http://www.singular.uni-kl.de/"><I>Singular</I></A> version $value{VERSION}, $value{VERSION_DATE}.
     177This document is the user manual for <A HREF="https://www.singular.uni-kl.de/"><I>Singular</I></A> version $value{VERSION}, $value{VERSION_DATE}.
    178178<BR>
    179179

  • doc/t2h_standalone.init

    r952bd16 r5e781f  
    1313  print $fh <<EOT;
    1414<FONT SIZE="-1">
    15 &nbsp;<A HREF="http://www.singular.uni-kl.de/"><I>Singular</I></A> version $value{VERSION}, $value{VERSION_DATE},
     15&nbsp;<A HREF="https://www.singular.uni-kl.de/"><I>Singular</I></A> version $value{VERSION}, $value{VERSION_DATE},
    1616generated by <A HREF="$T2H_HOMEPAGE"><I>texi2html</I></A>.
    1717</FONT>

  • emacs/COPYING

    r952bd16 r5e781f  
    4141
    4242The latest information about SINGULAR is always available from
    43 `http://www.singular.uni-kl.de'.
     43`https://www.singular.uni-kl.de'.
    4444

  • factory/COPYING

    r952bd16 r5e781f  
    4848
    4949The latest information about SINGULAR is always available from
    50 `http://www.singular.uni-kl.de'.
     50`https://www.singular.uni-kl.de'.
    5151

  • libpolys/COPYING

    r952bd16 r5e781f  
    4646
    4747If you want to be informed of new releases,  please register yourself
    48 as a SINGULAR user by using the registration form on the SINGULAR
    49 homepage               `http://www.singular.uni-kl.de'.  If for some
    50 reason you cannot access the registration form, you can also register
    51 by sending an email to               <singular@mathematik.uni-kl.de>
     48as a SINGULAR user by sending an email to <singular@mathematik.uni-kl.de>
    5249with subject line `register' and body containing the following data:
    5350 your name, email address, organisation, country and platform(s).
    5451
    5552For the citation of SINGULAR see
    56 `http://www.singular.uni-kl.de/how_to_cite.html', for information on
     53`https://www.singular.uni-kl.de/how_to_cite.html', for information on
    5754how to cite Singular.
    5855
    … …  
    6461
    6562The latest information about SINGULAR is always available from
    66 `http://www.singular.uni-kl.de'.
     63`https://www.singular.uni-kl.de'.
    6764
    6865Acknowledgements

  • m4/flint-check.m4

    rcce62fd r5e781f  
    1414AC_DEFUN([LB_CHECK_FLINT],
    1515[
    16 DEFAULT_CHECKING_PATH="/usr /usr/local /sw /opt/local"
     16DEFAULT_CHECKING_PATH="/sw /opt/local"
    1717
    1818AC_ARG_WITH(flint,
    … …  
    4141AC_LANG_PUSH([C])
    4242
    43 for FLINT_HOME in ${FLINT_HOME_PATH}
    44  do
    45  if test -r "$FLINT_HOME/include/flint/fmpz.h"; then
    46 
    47         FLINT_CFLAGS="-I${FLINT_HOME}/include/"
    48         FLINT_LIBS="-L${FLINT_HOME}/lib -lflint -lmpfr"
     43flint_found="no"
     44dnl check for system installed libraries if FLINT_HOME_PATH is the default
     45if test "$FLINT_HOME_PATH" = "$DEFAULT_CHECKING_PATH" ; then
     46        FLINT_CFLAGS=""
     47        FLINT_LIBS="-lflint -lmpfr"
    4948
    5049        # we suppose that mpfr and mpir to be in the same place or available by default
    51         CFLAGS="${BACKUP_CFLAGS} ${FLINT_CFLAGS} ${GMP_CPPFLAGS}"
     50        CFLAGS="${BACKUP_CFLAGS} ${GMP_CPPFLAGS}"
    5251        LIBS="${FLINT_LIBS} ${GMP_LIBS} ${BACKUPLIBS}"
    5352
    54         AC_CHECK_LIB(flint,fmpz_init,
    55         [flint_found="yes"],
    56         [flint_found="mo"],
    57         []
    58         )
    59 else
    60         flint_found="no"
     53        AC_CHECK_HEADER([flint/fmpz.h],
     54                [AC_CHECK_LIB(flint,fmpz_init,
     55                        [flint_found="yes"],
     56                        [],
     57                        [])],
     58                [],
     59                [])
    6160fi
    62 done
     61
     62dnl if flint was not previously found, search FLINT_HOME_PATH
     63if test "x$flint_found" = "xno" ; then
     64        for FLINT_HOME in ${FLINT_HOME_PATH}
     65        do
     66                if test -r "$FLINT_HOME/include/flint/fmpz.h"; then
     67
     68                FLINT_CFLAGS="-I${FLINT_HOME}/include/"
     69                FLINT_LIBS="-L${FLINT_HOME}/lib -lflint -lmpfr"
     70
     71        # we suppose that mpfr and mpir to be in the same place or available by default
     72                CFLAGS="${BACKUP_CFLAGS} ${FLINT_CFLAGS} ${GMP_CPPFLAGS}"
     73                LIBS="${FLINT_LIBS} ${GMP_LIBS} ${BACKUPLIBS}"
     74
     75                AC_CHECK_LIB(flint,fmpz_init,
     76                [flint_found="yes"],
     77                [],
     78                []
     79                )
     80                fi
     81        done
     82fi
     83
    6384AC_LANG_POP([C])
    6485

  • main.dox

    r952bd16 r5e781f  
    1111- \subpage changes_in_sw_page "Significant changes in Singular 4",
    1212- Short introduction to general concepts (types, paths, etc.)<br/>
    13   <http://www.singular.uni-kl.de/Manual/intro_sing.pdf>,
     13  <https://www.singular.uni-kl.de/Manual/intro_sing.pdf>,
    1414- Short description of the Singular restructurization: <br/>
    15   <http://www.singular.uni-kl.de/gap-meeting-2012/SW.Aug.12.motsak.2.pdf> and
     15  <https://www.singular.uni-kl.de/gap-meeting-2012/SW.Aug.12.motsak.2.pdf> and
    1616- Current internal structure and dependencies can be seen at \subpage deps_page.
    1717  Top-level packages are:

  • redhat/singular.spec.in

    r952bd16 r5e781f  
    66Group: Applications/Math
    77Vendor: Singular Team
    8 URL: http://www.singular.uni-kl.de
     8URL: https://www.singular.uni-kl.de
    99Packager: Mathias Schulze <mschulze@mathematik.uni-kl.de>
    10 Source0: http://www.mathematik.uni-kl.de/ftp/pub/Math/Singular/UNIX/%{name}-%{version}.tar.gz
     10Source0: https://www.mathematik.uni-kl.de/ftp/pub/Math/Singular/UNIX/%{name}-%{version}.tar.gz
    1111BuildArch: %{_arch}
    1212BuildRoot: %{_tmppath}/%{name}-%{version}-%{release}-root-%(%{__id_u} -n)

  • resources/feResource.cc

    r952bd16 r5e781f  
    8787  {"IdxFile",   'x',    feResFile,  "SINGULAR_IDX_FILE",    "%D/singular/singular.idx",  (char *)""},
    8888  {"HtmlDir",   'h',    feResDir,   "SINGULAR_HTML_DIR",    "%D/singular/html",              (char *)""},
    89   {"ManualUrl", 'u',    feResUrl,   "SINGULAR_URL",         "http://www.singular.uni-kl.de/Manual/",    (char *)""},
     89  {"ManualUrl", 'u',    feResUrl,   "SINGULAR_URL",         "https://www.singular.uni-kl.de/Manual/",    (char *)""},
    9090  {"ExDir",     'm',    feResDir,   "SINGULAR_EXAMPLES_DIR","%r/examples",          (char *)""},
    9191  {"Path",      'p',    feResPath,  NULL,                   "%b;%P;$PATH",             (char *)""},
Note: See TracChangeset for help on using the changeset viewer.