head	1.3;
access;
symbols
	pkgsrc-2022Q3:1.2.0.18
	pkgsrc-2022Q3-base:1.2
	pkgsrc-2022Q2:1.2.0.16
	pkgsrc-2022Q2-base:1.2
	pkgsrc-2022Q1:1.2.0.14
	pkgsrc-2022Q1-base:1.2
	pkgsrc-2021Q4:1.2.0.12
	pkgsrc-2021Q4-base:1.2
	pkgsrc-2021Q3:1.2.0.10
	pkgsrc-2021Q3-base:1.2
	pkgsrc-2021Q2:1.2.0.8
	pkgsrc-2021Q2-base:1.2
	pkgsrc-2021Q1:1.2.0.6
	pkgsrc-2021Q1-base:1.2
	pkgsrc-2020Q4:1.2.0.4
	pkgsrc-2020Q4-base:1.2
	pkgsrc-2020Q3:1.2.0.2
	pkgsrc-2020Q3-base:1.2
	pkgsrc-2020Q2:1.1.0.2
	pkgsrc-2020Q2-base:1.1;
locks; strict;
comment	@# @;


1.3
date	2022.10.28.23.49.43;	author alnsn;	state dead;
branches;
next	1.2;
commitid	IaEsKuY7wGfkLxZD;

1.2
date	2020.07.17.17.30.13;	author riastradh;	state Exp;
branches;
next	1.1;
commitid	GwwrvRcmWmKbrsgC;

1.1
date	2020.05.19.14.45.21;	author riastradh;	state Exp;
branches;
next	;
commitid	lPmzfoqdwi6nqR8C;


desc
@@


1.3
log
@Update math/sollya to version 8.0.

Changes from version 7.0 to 8.0:
================================
Changes of syntax and output:
  * Hexadecimal constants ending on '+' or '-' (e.g., 0x123p-) now
    provoke a syntax error (as it always should have).
  * The match construct on error now matches (it used to return
    error).
  * In certain cases, procedures could not be applied to an empty set
    of arguments because a syntax error occurred before. This is now
    possible.
  * The meaning and use of infinities and signed zeros in intervals
    has been changed (see documentation for details).
  * Input and output of decimal constants is now fully exact in
    rationalmode. In all other instances, a warning message is now
    produced when an internal constant gets printed in decimal and a
    rounding occurs.

Critical bug fixes:
  * Making Sollya compile again with recent versions of fplll (at
    least on the Linux side).

Improvements in internal handling:
  * Improved performance on manipulation of polynomials.

Major bug fixes:
  * Patched a bug in interval erfc.
  * Patched a bug preventing match to work on unary minus.

Major new functionalities:
  * The interpolate command allows for polynomial interpolation with
    and without error (see documentation for details).
  * The bezout command allows for computation of a gcd along with
    matching cofactors (see documentation for details).

Minor new functionalities:
  * The externaldata command now allows generic external library
    symbols to be bound to Sollya objects (see documentation for
    details).
  * Improvements on use of the L'Hopital rule for function
    evaluations.
  * When started as an interactive tool or as a library, Sollya now
    binds the executable's 0th argument to the Sollya identifier
    __program_name.
  * In situations when the user wishes to provide the minimax with
    real coefficients to fpminimax, it is now possible to give a list
    of coefficients instead of the expression of the real minimax (see
    documentation for details).
  * The free mathematical variable can now be unbound with the rename
    command (see documentation for details).
  * The bind command now allows for procedures with an arbitrary
    number of arguments (see documentation for details).
  * The char *sollya_lib_get_help_text(char *topic) function now
    allows for access to the help text of a certain topic.

Others:
  * In certain circumstances, the printing of a list may have had
    quadratic complexity in the past. This has been corrected.
  * If the compiler supports the -flto flag; this option is disabled
    by default though. To enable LTO compilation, use
    --enable-lto-compilation. On certain systems the -flto flag is
    supported by the compiler but LTO compilation fails. In this case,
    it is recommended not to enable LTO compilation.
  * dirtyfindzeros used to include in the list of zeros any point
    where the expression given as input evaluated to NaN. Such points
    are now included only when there is a real suspicion that it could
    be a true zero of the expression.
  * externalprocedure, externalfunction and externaldata entries can
    have cross-dependencies for their symbols. The tool now makes sure
    all symbols are unloaded in the precise inverse order of their
    loading, to allow for such cross-dependencies.
  * chebyshevform command can now be used out of execute() statements.
  * remez command now tries to recognize the situation when the
    optimal error function is identically 0.
  * configure now allows for cross-compilation.

Deprecated functionalities:
  * Deprecated readxml and printxml.
  * Deprecated the proof generation feature of the infnorm command.
  * Deprecated end-elliptic lists ending with a number as a format
    list in fpminimax.

And many bugs fixed.
@
text
@$NetBSD: patch-configure,v 1.2 2020/07/17 17:30:13 riastradh Exp $

Fix shell portability.

https://lists.gforge.inria.fr/pipermail/sollya-devl/2020-July/000018.html

--- configure.orig	2018-09-20 12:01:05.000000000 +0000
+++ configure
@@@@ -16641,7 +16641,7 @@@@ $as_echo_n "checking whether help2man su
 $as_echo "$HELP2MAN_SUPPORTS_LOCALE" >&6; }
   rm -rf .tmp_help2man
 fi
- if test "x$HELP2MAN_SUPPORTS_LOCALE" == "xyes"; then
+ if test "x$HELP2MAN_SUPPORTS_LOCALE" = "xyes"; then
   HAVE_HELP2MAN_LOCALE_TRUE=
   HAVE_HELP2MAN_LOCALE_FALSE='#'
 else
@


1.2
log
@math/gappa, math/sollya: Cite upstreamed patches.
@
text
@d1 1
a1 1
$NetBSD: patch-configure,v 1.1 2020/05/19 14:45:21 riastradh Exp $
@


1.1
log
@sollya: Import sollya-7.0 as math/sollya

Sollya is a tool environment and a library for safe floating-point
code development, particularly targeted at automated implementation
of math libraries like libm.

Derived from wip/sollya.
@
text
@d1 1
a1 1
$NetBSD$
d5 2
@