The FreeBSD Ports Archive
FreeBSD math  : GiNaC
A C++ library for symbolic mathematical calculations
GiNaC is an iterated and recursive acronym for GiNaC is Not a CAS,
where CAS stands for Computer Algebra System. It is designed to allow
the creation of integrated systems that embed symbolic manipulations
together with more established areas of computer science (like
computation-intense numeric applications, graphical interfaces, etc.)
under one roof.
http://www.ginac.de/
|
GiNaC history
v. 1.48
date: 2007/10/20 09:04:13; author: ijliao; state: Exp; lines: +2 -2
upgrade to 1.3.8
v. 1.47
date: 2007/03/06 20:04:30; author: miwi; state: Exp; lines: +2 -3
- Update to 1.3.6
PR: 109802
Submitted by: KATO Tsuguru
v. 1.46
date: 2007/02/01 02:41:46; author: kris; state: Exp; lines: +1 -0
Use libtool port instead of included version to avoid objformat a.out botch
v. 1.45
date: 2006/10/07 15:01:20; author: miwi; state: Exp; lines: +2 -2
- Update to 1.3.5
PR: ports/104076
Submitted by: trasz
v. 1.44
date: 2006/08/15 00:29:11; author: clsung; state: Exp; lines: +1 -1
- s,INSTALLS_SHLIB,USE_LDCONFIG,g
- these include irc/ japanese/ java/ lang/ mail/ math/ maintained by ports@
PR: ports/101916
Submitted by: Gea-Suan Lin
v. 1.43
date: 2005/11/01 23:58:31; author: pav; state: Exp; lines: +3 -3
- Update to 1.3.3
PR: ports/88348
Submitted by: KATO Tsuguru
v. 1.42
date: 2005/07/18 16:00:12; author: pav; state: Exp; lines: +2 -1
- Update to 1.3.2
PR: ports/83615
Submitted by: KATO Tsuguru
v. 1.41
date: 2005/05/08 23:21:02; author: jylefort; state: Exp; lines: +1 -1
Update to 1.3.1
PR: ports/80778
Submitted by: KATO Tsuguru
v. 1.40
date: 2005/01/02 01:03:15; author: kris; state: Exp; lines: +4 -0
BROKEN on alpha: Does not compile
Approved by: portmgr (self)
v. 1.39
date: 2004/10/26 07:01:08; author: pav; state: Exp; lines: +1 -1
- Update to 1.3.0
PR: ports/73080
Submitted by: KATO Tsuguru
v. 1.38
date: 2004/09/30 05:31:54; author: kris; state: Exp; lines: +1 -1
Increase USE_GCC to 3.4 for those ports which compile with it.
Approved by: portmgr
v. 1.37
date: 2004/09/28 01:50:40; author: kris; state: Exp; lines: +0 -4
Now builds on amd64
Approved by: portmgr (self)
v. 1.36
date: 2004/08/16 19:34:41; author: krion; state: Exp; lines: +2 -10
Update to verion 1.2.3
PR: ports/70545
Submitted by: Ports Fury
v. 1.35
date: 2004/03/13 10:37:04; author: kris; state: Exp; lines: +4 -0
BROKEN on amd64: Configure fails
v. 1.34
date: 2004/02/04 05:07:26; author: marcus; state: Exp; lines: +1 -1
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.
(Part 1)
v. 1.33
date: 2004/02/02 16:20:02; author: krion; state: Exp; lines: +3 -2
- Utilize USE_GNOME
- Fix pkg-plist
PR: ports/62264
Submitted by: Ports Fury
v. 1.32
date: 2004/01/23 14:58:24; author: krion; state: Exp; lines: +2 -1
- Update to version 1.1.6
PR: ports/61780
Submitted by: Ports Fury
v. 1.31
date: 2003/11/06 21:31:51; author: krion; state: Exp; lines: +1 -1
- Update to version 1.1.5
PR: 59011
Submitted by: Ports Fury
v. 1.30
date: 2003/10/10 17:54:50; author: krion; state: Exp; lines: +12 -17
- Update to version 1.1.3
PR: 57842
Submitted by: Ports Fury
v. 1.29
date: 2003/06/27 15:59:58; author: naddy; state: Exp; lines: +1 -1
IGNORE should be used instead of BROKEN to indicate that a port
will never be available on a particular OS release version.
PR: 53441
Submitted by: Mark Linimon
v. 1.28
date: 2003/04/23 14:09:37; author: ijliao; state: Exp; lines: +7 -1
mark it broken on -stable
v. 1.27
date: 2003/04/11 02:18:44; author: ijliao; state: Exp; lines: +2 -1
upgrade to 1.1.0
v. 1.26
date: 2003/03/02 14:51:14; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.14
v. 1.25
date: 2003/02/20 18:42:16; author: knu; state: Exp; lines: +1 -0
De-pkg-comment.
v. 1.24
date: 2003/01/28 16:53:21; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.13
v. 1.23
date: 2002/11/07 03:10:54; author: adamw; state: Exp; lines: +0 -2
Fix PORTCOMMENTs that were killing INDEX builds.
105 pointy hats to: me
Approved by: pat
v. 1.22
date: 2002/11/06 22:45:59; author: adamw; state: Exp; lines: +2 -0
Use PORTCOMMENT in the Makefile, and whack the pkg-comment.
Approved by: pat
v. 1.21
date: 2002/10/31 15:59:49; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.12
v. 1.20
date: 2002/09/19 14:56:29; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.11
v. 1.19
date: 2002/08/31 02:44:01; author: kris; state: Exp; lines: +0 -1
Remove USE_NEWGCC, which is no longer supported or required.
Submitted by: Tilman Linneweh
PR: ports/40571
v. 1.18
date: 2002/07/30 06:19:00; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.10
v. 1.17
date: 2002/06/22 17:06:26; author: ijliao; state: Exp; lines: +3 -2
Replace ${PERL} with ${REINPLACE_CMD}
PR: 39656
Submitted by: Oliver Braun
v. 1.16
date: 2002/06/13 10:39:28; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.9
v. 1.15
date: 2002/04/02 02:36:32; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.8
v. 1.14
date: 2002/03/19 14:38:46; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.7
v. 1.13
date: 2002/03/09 18:31:04; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.6
v. 1.12
date: 2002/01/28 14:27:16; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.5
v. 1.11
date: 2001/12/23 07:33:48; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.3
v. 1.10
date: 2001/12/21 14:06:05; author: ijliao; state: Exp; lines: +2 -2
upgrade to 1.0.2
v. 1.9
date: 2001/12/08 20:30:53; author: ijliao; state: Exp; lines: +18 -14
fix pkg-plist
PR: 32623
Submitted by: Ports Fury
v. 1.8
date: 2001/11/26 13:18:55; author: ijliao; state: Exp; lines: +12 -2
upgrade to 1.0.1
v. 1.7
date: 2001/08/31 14:20:25; author: sobomax; state: Exp; lines: +1 -2
USE_LIBTOOL implies GNU_CONFIGURE, so remove the latter where appropriate.
v. 1.6
date: 2001/07/06 06:50:06; author: ijliao; state: Exp; lines: +2 -2
update lib depends
Submitted by: bento log
v. 1.5
date: 2001/06/08 17:15:05; author: ijliao; state: Exp; lines: +3 -3
upgrade to 0.9.0
drop maintainership
v. 1.4
date: 2001/04/26 18:18:58; author: ijliao; state: Exp; lines: +2 -2
upgrade to 0.8.2
v. 1.3
date: 2001/04/18 12:40:08; author: ijliao; state: Exp; lines: +2 -2
upgrade to 0.8.1
v. 1.2
date: 2001/03/27 15:02:29; author: ijliao; state: Exp; lines: +2 -3
upgrade to 0.8.0
v. 1.1
date: 2001/03/07 07:09:02; author: ijliao; state: Exp;
add GiNaC, a C++ library for symbolic mathematical calculations
=============================================================================
v. 1.48
date: 2007/10/20 09:04:13; author: ijliao; state: Exp; lines: +2 -2
upgrade to 1.3.8
v. 1.47
date: 2007/03/06 20:04:30; author: miwi; state: Exp; lines: +2 -3
- Update to 1.3.6
PR: 109802
Submitted by: KATO Tsuguru
v. 1.46
date: 2007/02/01 02:41:46; author: kris; state: Exp; lines: +1 -0
Use libtool port instead of included version to avoid objformat a.out botch
v. 1.45
date: 2006/10/07 15:01:20; author: miwi; state: Exp; lines: +2 -2
- Update to 1.3.5
PR: ports/104076
Submitted by: trasz
v. 1.44
date: 2006/08/15 00:29:11; author: clsung; state: Exp; lines: +1 -1
- s,INSTALLS_SHLIB,USE_LDCONFIG,g
- these include irc/ japanese/ java/ lang/ mail/ math/ maintained by ports@
PR: ports/101916
Submitted by: Gea-Suan Lin
v. 1.43
date: 2005/11/01 23:58:31; author: pav; state: Exp; lines: +3 -3
- Update to 1.3.3
PR: ports/88348
Submitted by: KATO Tsuguru
v. 1.42
date: 2005/07/18 16:00:12; author: pav; state: Exp; lines: +2 -1
- Update to 1.3.2
PR: ports/83615
Submitted by: KATO Tsuguru
v. 1.41
date: 2005/05/08 23:21:02; author: jylefort; state: Exp; lines: +1 -1
Update to 1.3.1
PR: ports/80778
Submitted by: KATO Tsuguru
v. 1.40
date: 2005/01/02 01:03:15; author: kris; state: Exp; lines: +4 -0
BROKEN on alpha: Does not compile
Approved by: portmgr (self)
v. 1.39
date: 2004/10/26 07:01:08; author: pav; state: Exp; lines: +1 -1
- Update to 1.3.0
PR: ports/73080
Submitted by: KATO Tsuguru
v. 1.38
date: 2004/09/30 05:31:54; author: kris; state: Exp; lines: +1 -1
Increase USE_GCC to 3.4 for those ports which compile with it.
Approved by: portmgr
v. 1.37
date: 2004/09/28 01:50:40; author: kris; state: Exp; lines: +0 -4
Now builds on amd64
Approved by: portmgr (self)
v. 1.36
date: 2004/08/16 19:34:41; author: krion; state: Exp; lines: +2 -10
Update to verion 1.2.3
PR: ports/70545
Submitted by: Ports Fury
v. 1.35
date: 2004/03/13 10:37:04; author: kris; state: Exp; lines: +4 -0
BROKEN on amd64: Configure fails
v. 1.34
date: 2004/02/04 05:07:26; author: marcus; state: Exp; lines: +1 -1
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.
(Part 1)
v. 1.33
date: 2004/02/02 16:20:02; author: krion; state: Exp; lines: +3 -2
- Utilize USE_GNOME
- Fix pkg-plist
PR: ports/62264
Submitted by: Ports Fury
v. 1.32
date: 2004/01/23 14:58:24; author: krion; state: Exp; lines: +2 -1
- Update to version 1.1.6
PR: ports/61780
Submitted by: Ports Fury
v. 1.31
date: 2003/11/06 21:31:51; author: krion; state: Exp; lines: +1 -1
- Update to version 1.1.5
PR: 59011
Submitted by: Ports Fury
v. 1.30
date: 2003/10/10 17:54:50; author: krion; state: Exp; lines: +12 -17
- Update to version 1.1.3
PR: 57842
Submitted by: Ports Fury
v. 1.29
date: 2003/06/27 15:59:58; author: naddy; state: Exp; lines: +1 -1
IGNORE should be used instead of BROKEN to indicate that a port
will never be available on a particular OS release version.
PR: 53441
Submitted by: Mark Linimon
v. 1.28
date: 2003/04/23 14:09:37; author: ijliao; state: Exp; lines: +7 -1
mark it broken on -stable
v. 1.27
date: 2003/04/11 02:18:44; author: ijliao; state: Exp; lines: +2 -1
upgrade to 1.1.0
v. 1.26
date: 2003/03/02 14:51:14; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.14
v. 1.25
date: 2003/02/20 18:42:16; author: knu; state: Exp; lines: +1 -0
De-pkg-comment.
v. 1.24
date: 2003/01/28 16:53:21; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.13
v. 1.23
date: 2002/11/07 03:10:54; author: adamw; state: Exp; lines: +0 -2
Fix PORTCOMMENTs that were killing INDEX builds.
105 pointy hats to: me
Approved by: pat
v. 1.22
date: 2002/11/06 22:45:59; author: adamw; state: Exp; lines: +2 -0
Use PORTCOMMENT in the Makefile, and whack the pkg-comment.
Approved by: pat
v. 1.21
date: 2002/10/31 15:59:49; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.12
v. 1.20
date: 2002/09/19 14:56:29; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.11
v. 1.19
date: 2002/08/31 02:44:01; author: kris; state: Exp; lines: +0 -1
Remove USE_NEWGCC, which is no longer supported or required.
Submitted by: Tilman Linneweh
PR: ports/40571
v. 1.18
date: 2002/07/30 06:19:00; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.10
v. 1.17
date: 2002/06/22 17:06:26; author: ijliao; state: Exp; lines: +3 -2
Replace ${PERL} with ${REINPLACE_CMD}
PR: 39656
Submitted by: Oliver Braun
v. 1.16
date: 2002/06/13 10:39:28; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.9
v. 1.15
date: 2002/04/02 02:36:32; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.8
v. 1.14
date: 2002/03/19 14:38:46; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.7
v. 1.13
date: 2002/03/09 18:31:04; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.6
v. 1.12
date: 2002/01/28 14:27:16; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.5
v. 1.11
date: 2001/12/23 07:33:48; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.3
v. 1.10
date: 2001/12/21 14:06:05; author: ijliao; state: Exp; lines: +2 -2
upgrade to 1.0.2
v. 1.9
date: 2001/12/08 20:30:53; author: ijliao; state: Exp; lines: +18 -14
fix pkg-plist
PR: 32623
Submitted by: Ports Fury
v. 1.8
date: 2001/11/26 13:18:55; author: ijliao; state: Exp; lines: +12 -2
upgrade to 1.0.1
v. 1.7
date: 2001/08/31 14:20:25; author: sobomax; state: Exp; lines: +1 -2
USE_LIBTOOL implies GNU_CONFIGURE, so remove the latter where appropriate.
v. 1.6
date: 2001/07/06 06:50:06; author: ijliao; state: Exp; lines: +2 -2
update lib depends
Submitted by: bento log
v. 1.5
date: 2001/06/08 17:15:05; author: ijliao; state: Exp; lines: +3 -3
upgrade to 0.9.0
drop maintainership
v. 1.4
date: 2001/04/26 18:18:58; author: ijliao; state: Exp; lines: +2 -2
upgrade to 0.8.2
v. 1.3
date: 2001/04/18 12:40:08; author: ijliao; state: Exp; lines: +2 -2
upgrade to 0.8.1
v. 1.2
date: 2001/03/27 15:02:29; author: ijliao; state: Exp; lines: +2 -3
upgrade to 0.8.0
v. 1.1
date: 2001/03/07 07:09:02; author: ijliao; state: Exp;
add GiNaC, a C++ library for symbolic mathematical calculations
=============================================================================
v. 1.48
date: 2007/10/20 09:04:13; author: ijliao; state: Exp; lines: +2 -2
upgrade to 1.3.8
v. 1.47
date: 2007/03/06 20:04:30; author: miwi; state: Exp; lines: +2 -3
- Update to 1.3.6
PR: 109802
Submitted by: KATO Tsuguru
v. 1.46
date: 2007/02/01 02:41:46; author: kris; state: Exp; lines: +1 -0
Use libtool port instead of included version to avoid objformat a.out botch
v. 1.45
date: 2006/10/07 15:01:20; author: miwi; state: Exp; lines: +2 -2
- Update to 1.3.5
PR: ports/104076
Submitted by: trasz
v. 1.44
date: 2006/08/15 00:29:11; author: clsung; state: Exp; lines: +1 -1
- s,INSTALLS_SHLIB,USE_LDCONFIG,g
- these include irc/ japanese/ java/ lang/ mail/ math/ maintained by ports@
PR: ports/101916
Submitted by: Gea-Suan Lin
v. 1.43
date: 2005/11/01 23:58:31; author: pav; state: Exp; lines: +3 -3
- Update to 1.3.3
PR: ports/88348
Submitted by: KATO Tsuguru
v. 1.42
date: 2005/07/18 16:00:12; author: pav; state: Exp; lines: +2 -1
- Update to 1.3.2
PR: ports/83615
Submitted by: KATO Tsuguru
v. 1.41
date: 2005/05/08 23:21:02; author: jylefort; state: Exp; lines: +1 -1
Update to 1.3.1
PR: ports/80778
Submitted by: KATO Tsuguru
v. 1.40
date: 2005/01/02 01:03:15; author: kris; state: Exp; lines: +4 -0
BROKEN on alpha: Does not compile
Approved by: portmgr (self)
v. 1.39
date: 2004/10/26 07:01:08; author: pav; state: Exp; lines: +1 -1
- Update to 1.3.0
PR: ports/73080
Submitted by: KATO Tsuguru
v. 1.38
date: 2004/09/30 05:31:54; author: kris; state: Exp; lines: +1 -1
Increase USE_GCC to 3.4 for those ports which compile with it.
Approved by: portmgr
v. 1.37
date: 2004/09/28 01:50:40; author: kris; state: Exp; lines: +0 -4
Now builds on amd64
Approved by: portmgr (self)
v. 1.36
date: 2004/08/16 19:34:41; author: krion; state: Exp; lines: +2 -10
Update to verion 1.2.3
PR: ports/70545
Submitted by: Ports Fury
v. 1.35
date: 2004/03/13 10:37:04; author: kris; state: Exp; lines: +4 -0
BROKEN on amd64: Configure fails
v. 1.34
date: 2004/02/04 05:07:26; author: marcus; state: Exp; lines: +1 -1
Bump PORTREVISION on all ports that depend on gettext to aid with upgrading.
(Part 1)
v. 1.33
date: 2004/02/02 16:20:02; author: krion; state: Exp; lines: +3 -2
- Utilize USE_GNOME
- Fix pkg-plist
PR: ports/62264
Submitted by: Ports Fury
v. 1.32
date: 2004/01/23 14:58:24; author: krion; state: Exp; lines: +2 -1
- Update to version 1.1.6
PR: ports/61780
Submitted by: Ports Fury
v. 1.31
date: 2003/11/06 21:31:51; author: krion; state: Exp; lines: +1 -1
- Update to version 1.1.5
PR: 59011
Submitted by: Ports Fury
v. 1.30
date: 2003/10/10 17:54:50; author: krion; state: Exp; lines: +12 -17
- Update to version 1.1.3
PR: 57842
Submitted by: Ports Fury
v. 1.29
date: 2003/06/27 15:59:58; author: naddy; state: Exp; lines: +1 -1
IGNORE should be used instead of BROKEN to indicate that a port
will never be available on a particular OS release version.
PR: 53441
Submitted by: Mark Linimon
v. 1.28
date: 2003/04/23 14:09:37; author: ijliao; state: Exp; lines: +7 -1
mark it broken on -stable
v. 1.27
date: 2003/04/11 02:18:44; author: ijliao; state: Exp; lines: +2 -1
upgrade to 1.1.0
v. 1.26
date: 2003/03/02 14:51:14; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.14
v. 1.25
date: 2003/02/20 18:42:16; author: knu; state: Exp; lines: +1 -0
De-pkg-comment.
v. 1.24
date: 2003/01/28 16:53:21; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.13
v. 1.23
date: 2002/11/07 03:10:54; author: adamw; state: Exp; lines: +0 -2
Fix PORTCOMMENTs that were killing INDEX builds.
105 pointy hats to: me
Approved by: pat
v. 1.22
date: 2002/11/06 22:45:59; author: adamw; state: Exp; lines: +2 -0
Use PORTCOMMENT in the Makefile, and whack the pkg-comment.
Approved by: pat
v. 1.21
date: 2002/10/31 15:59:49; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.12
v. 1.20
date: 2002/09/19 14:56:29; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.11
v. 1.19
date: 2002/08/31 02:44:01; author: kris; state: Exp; lines: +0 -1
Remove USE_NEWGCC, which is no longer supported or required.
Submitted by: Tilman Linneweh
PR: ports/40571
v. 1.18
date: 2002/07/30 06:19:00; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.10
v. 1.17
date: 2002/06/22 17:06:26; author: ijliao; state: Exp; lines: +3 -2
Replace ${PERL} with ${REINPLACE_CMD}
PR: 39656
Submitted by: Oliver Braun
v. 1.16
date: 2002/06/13 10:39:28; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.9
v. 1.15
date: 2002/04/02 02:36:32; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.8
v. 1.14
date: 2002/03/19 14:38:46; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.7
v. 1.13
date: 2002/03/09 18:31:04; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.6
v. 1.12
date: 2002/01/28 14:27:16; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.5
v. 1.11
date: 2001/12/23 07:33:48; author: ijliao; state: Exp; lines: +1 -1
upgrade to 1.0.3
v. 1.10
date: 2001/12/21 14:06:05; author: ijliao; state: Exp; lines: +2 -2
upgrade to 1.0.2
v. 1.9
date: 2001/12/08 20:30:53; author: ijliao; state: Exp; lines: +18 -14
fix pkg-plist
PR: 32623
Submitted by: Ports Fury
v. 1.8
date: 2001/11/26 13:18:55; author: ijliao; state: Exp; lines: +12 -2
upgrade to 1.0.1
v. 1.7
date: 2001/08/31 14:20:25; author: sobomax; state: Exp; lines: +1 -2
USE_LIBTOOL implies GNU_CONFIGURE, so remove the latter where appropriate.
v. 1.6
date: 2001/07/06 06:50:06; author: ijliao; state: Exp; lines: +2 -2
update lib depends
Submitted by: bento log
v. 1.5
date: 2001/06/08 17:15:05; author: ijliao; state: Exp; lines: +3 -3
upgrade to 0.9.0
drop maintainership
v. 1.4
date: 2001/04/26 18:18:58; author: ijliao; state: Exp; lines: +2 -2
upgrade to 0.8.2
v. 1.3
date: 2001/04/18 12:40:08; author: ijliao; state: Exp; lines: +2 -2
upgrade to 0.8.1
v. 1.2
date: 2001/03/27 15:02:29; author: ijliao; state: Exp; lines: +2 -3
upgrade to 0.8.0
v. 1.1
date: 2001/03/07 07:09:02; author: ijliao; state: Exp;
add GiNaC, a C++ library for symbolic mathematical calculations
=============================================================================
|
| |
|