From kisilv at maths.leeds.ac.uk  Thu Aug  1 12:22:23 2013
From: kisilv at maths.leeds.ac.uk (Vladimir V. Kisil)
Date: Thu, 01 Aug 2013 11:22:23 +0100
Subject: [GiNaC-devel] Build issues (Was: Simplifying powers)
In-Reply-To: <51F984EC.3080501@ginac.de>
References: <22829.1374879116@krein.leeds.ac.uk>
 <28938.1375020616@krein.leeds.ac.uk>
 <20130729110132.GB28251@vargsbox.jinr.ru>
 <26946.1375125159@krein.leeds.ac.uk> <51F6DD05.9040803@ginac.de>
 <15216.1375134061@krein.leeds.ac.uk>
 <20130730192326.GB26562@vargsbox.jinr.ru>
 <14098.1375214587@krein.leeds.ac.uk> <51F984EC.3080501@ginac.de>
Message-ID: <25758.1375352543@desktop.lan>

>>>>> On Wed, 31 Jul 2013 23:43:08 +0200, "Richard B. Kreckel" <kreckel at ginac.de> said:

    RK> Fixed now, too.

    Everything works for me now, thanks.
-- 
Vladimir V. Kisil     email: kisilv at maths.leeds.ac.uk
--                      www: http://maths.leeds.ac.uk/~kisilv/


From alexei.sheplyakov at gmail.com  Thu Aug  1 12:52:35 2013
From: alexei.sheplyakov at gmail.com (Alexei Sheplyakov)
Date: Thu, 1 Aug 2013 13:52:35 +0300
Subject: [GiNaC-devel] Build issues (Was: Simplifying powers)
In-Reply-To: <51F984EC.3080501@ginac.de>
References: <22829.1374879116@krein.leeds.ac.uk>
 <28938.1375020616@krein.leeds.ac.uk>
 <20130729110132.GB28251@vargsbox.jinr.ru>
 <26946.1375125159@krein.leeds.ac.uk> <51F6DD05.9040803@ginac.de>
 <15216.1375134061@krein.leeds.ac.uk>
 <20130730192326.GB26562@vargsbox.jinr.ru>
 <14098.1375214587@krein.leeds.ac.uk> <51F984EC.3080501@ginac.de>
Message-ID: <20130801105235.GA13506@vargsbox.jinr.ru>

Hi, Richard,

On Wed, Jul 31, 2013 at 11:43:08PM +0200, Richard B. Kreckel wrote:
> On 07/30/2013 10:03 PM, Vladimir V. Kisil wrote:
> > make[1]: Entering directory `/tmp/ginac/ginsh'
> > /usr/bin/python ./ginsh_op_help.py -o ginsh_op_help.h ginsh.1
> > make[1]: *** No rule to make target `ginsh_parser.h', needed by `ginsh_parser.o'.  Stop.
> 
> Fixed now, too.

It's the other way around for me: there were no problems before the patch,
and now I get

make[2]: Entering directory `/home/pc7135/varg/work/sw/ginac/ginsh'
/usr/bin/python ./ginsh_fcn_help.py -o ginsh_fcn_help.h ginsh.1.in
/usr/bin/python ./ginsh_op_help.py -o ginsh_op_help.h ginsh.1
ccache g++-4.7 -DHAVE_CONFIG_H -I. -I../config  -I./../ginac -I../ginac -DIN_GINAC -I/home/pc7135/varg/target/x86_64-linux-gnu/include    -O2 -g -Wall -pipe -MT ginsh_lexer.o -MD -MP -MF .deps/ginsh_lexer.Tpo -c -o ginsh_lexer.o ginsh_lexer.cpp
ccache g++-4.7 -DHAVE_CONFIG_H -I. -I../config  -I./../ginac -I../ginac -DIN_GINAC -I/home/pc7135/varg/target/x86_64-linux-gnu/include    -O2 -g -Wall -pipe -MT ginsh_parser.o -MD -MP -MF .deps/ginsh_parser.Tpo -c -o ginsh_parser.o ginsh_parser.cpp
ginsh_lexer.lpp:37:28: fatal error: ginsh_parser.hpp: No such file or directory
compilation terminated.
make[2]: *** [ginsh_lexer.o] Error 1
make[2]: *** Waiting for unfinished jobs....
mv -f .deps/ginsh_parser.Tpo .deps/ginsh_parser.Po
make[2]: Leaving directory `/home/pc7135/varg/work/sw/ginac/ginsh'
make[1]: *** [all] Error 2
make[1]: Leaving directory `/home/pc7135/varg/work/sw/ginac/ginsh'
make: *** [all-recursive] Error 1

config.log is attached.

Best regards,
	Alexei

-------------- next part --------------
A non-text attachment was scrubbed...
Name: config.log.gz
Type: application/octet-stream
Size: 22277 bytes
Desc: not available
URL: <http://www.ginac.de/pipermail/ginac-devel/attachments/20130801/f7ea4561/attachment.obj>

From kisilv at maths.leeds.ac.uk  Thu Aug  1 15:48:21 2013
From: kisilv at maths.leeds.ac.uk (Vladimir V. Kisil)
Date: Thu, 01 Aug 2013 14:48:21 +0100
Subject: [GiNaC-devel] Improvements to function abs and power::info
Message-ID: <25850.1375364901@krein.leeds.ac.uk>

	Dear All,
	
	I propose a tiny patch, which shall improve evaluation in
  GiNaC. abs() now can evaluate conjugates and step function. Power with
 real base and even-integer exponents reports that it is
 non-negative.

 Best wishes,
-- 
Vladimir V. Kisil     email: kisilv at maths.leeds.ac.uk
                        www: http://www.maths.leeds.ac.uk/~kisilv/
Book: Geometry of Mobius Transformations
http://www.worldscientific.com/worldscibooks/10.1142/p835
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0008-Improvements-to-function-abs-and-power-info.patch
Type: text/x-diff
Size: 2110 bytes
Desc: Git patch
URL: <http://www.ginac.de/pipermail/ginac-devel/attachments/20130801/48b233ee/attachment.bin>

From alexei.sheplyakov at gmail.com  Thu Aug  1 16:09:51 2013
From: alexei.sheplyakov at gmail.com (Alexei Sheplyakov)
Date: Thu, 1 Aug 2013 17:09:51 +0300
Subject: [GiNaC-devel] Build issues (Was: Simplifying powers)
In-Reply-To: <20130801105235.GA13506@vargsbox.jinr.ru>
References: <22829.1374879116@krein.leeds.ac.uk>
 <28938.1375020616@krein.leeds.ac.uk>
 <20130729110132.GB28251@vargsbox.jinr.ru>
 <26946.1375125159@krein.leeds.ac.uk> <51F6DD05.9040803@ginac.de>
 <15216.1375134061@krein.leeds.ac.uk>
 <20130730192326.GB26562@vargsbox.jinr.ru>
 <14098.1375214587@krein.leeds.ac.uk> <51F984EC.3080501@ginac.de>
 <20130801105235.GA13506@vargsbox.jinr.ru>
Message-ID: <CADNgsy36sMkJ3Zx4yQmkOcpUREh1Oj5z45WrB466Y9pc1s9Lmg@mail.gmail.com>

Hi again,

>> > make[1]: Entering directory `/tmp/ginac/ginsh'
>> > /usr/bin/python ./ginsh_op_help.py -o ginsh_op_help.h ginsh.1
>> > make[1]: *** No rule to make target `ginsh_parser.h', needed by `ginsh_parser.o'.  Stop.
>>
>> Fixed now, too.
>
> It's the other way around for me: there were no problems before the patch,
> and now I get
>
> make[2]: Entering directory `/home/pc7135/varg/work/sw/ginac/ginsh'
> /usr/bin/python ./ginsh_fcn_help.py -o ginsh_fcn_help.h ginsh.1.in
> /usr/bin/python ./ginsh_op_help.py -o ginsh_op_help.h ginsh.1
> ccache g++-4.7 -DHAVE_CONFIG_H -I. -I../config  -I./../ginac -I../ginac -DIN_GINAC -I/home/pc7135/varg/target/x86_64-linux-gnu/include    -O2 -g -Wall -pipe -MT ginsh_lexer.o -MD -MP -MF .deps/ginsh_lexer.Tpo -c -o ginsh_lexer.o ginsh_lexer.cpp
> ccache g++-4.7 -DHAVE_CONFIG_H -I. -I../config  -I./../ginac -I../ginac -DIN_GINAC -I/home/pc7135/varg/target/x86_64-linux-gnu/include    -O2 -g -Wall -pipe -MT ginsh_parser.o -MD -MP -MF .deps/ginsh_parser.Tpo -c -o ginsh_parser.o ginsh_parser.cpp
> ginsh_lexer.lpp:37:28: fatal error: ginsh_parser.hpp: No such file or directory
> compilation terminated.
> make[2]: *** [ginsh_lexer.o] Error 1
> make[2]: *** Waiting for unfinished jobs....
> mv -f .deps/ginsh_parser.Tpo .deps/ginsh_parser.Po
> make[2]: Leaving directory `/home/pc7135/varg/work/sw/ginac/ginsh'
> make[1]: *** [all] Error 2
> make[1]: Leaving directory `/home/pc7135/varg/work/sw/ginac/ginsh'
> make: *** [all-recursive] Error 1

Apparently automake 1.11 and 1.13  (or rather the Makefiles they
generate) use different conventions regarding the naming of the header
files built by bison/yacc. Automake 1.11 uses *.h for both C and C++
headers, and automake 1.13 names C headers as *.h and C++ ones as
*.hpp. By the way, renaming the sources (*.yy -> *.ypp) seems to have
no effect at all (I guess the change which actually fixed the automake
1.13 build was `#include "ginsh_parser.hpp"').

Hence we need to convince automake 1.13 to produce ginsh_parser.h from
ginsh_parser.{yy,ypp}, or the other way around -- convince the older
versions of automake to produce ginsh_parser.hpp file.

Best regards,
        Alexei


From kisilv at maths.leeds.ac.uk  Fri Aug  2 12:40:13 2013
From: kisilv at maths.leeds.ac.uk (Vladimir V. Kisil)
Date: Fri, 02 Aug 2013 11:40:13 +0100
Subject: [GiNaC-devel] Function::info (preliminary patch)
Message-ID: <18141.1375440013@krein.leeds.ac.uk>

	Dear All,

	Many operations in GiNaC relay on the info provided by an
  object. However, functions answered negatively to anything so far,
  thus many simplifications was not possible or introduced in GiNaC code
  manually. I propose to add info() method to functions. 

  The attached preliminary patch provides info for conjugate() and abs()
  functions. If the idea will be approved in general, I can try to add
  info methods to as many functions as I can.

  Best wishes,
  Vladimir
-- 
Vladimir V. Kisil     email: kisilv at maths.leeds.ac.uk
                        www: http://www.maths.leeds.ac.uk/~kisilv/
Book: Geometry of Mobius Transformations
http://www.worldscientific.com/worldscibooks/10.1142/p835
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0009-Function-can-report-info-preliminary.patch
Type: text/x-diff
Size: 8929 bytes
Desc: Git patch
URL: <http://www.ginac.de/pipermail/ginac-devel/attachments/20130802/984366ac/attachment.bin>

From git at ginac.de  Fri Aug  2 18:45:16 2013
From: git at ginac.de (Alexei Sheplyakov)
Date: Fri,  2 Aug 2013 18:45:16 +0200 (CEST)
Subject: [GiNaC-devel] [SCM] GiNaC -- a C++ library for symbolic
	computations branch, master, updated. release_1-4-0-390-g8ed9560
Message-ID: <20130802164517.0367BF00635@cebix.net>

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GiNaC -- a C++ library for symbolic computations".

The branch, master has been updated
       via  8ed95601ab0cff1bb02b2a908e5a2c118b1f0a06 (commit)
      from  8bd8cedd086aeaf08630d5357af37151e1d06d06 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 8ed95601ab0cff1bb02b2a908e5a2c118b1f0a06
Author: Vladimir V. Kisil <kisilv at maths.leeds.ac.uk>
Date:   Mon Jul 29 17:25:25 2013 +0100

    improve mul::info(): the product of two negative terms is positive, ...
    
    ... and the product of a positive and non-negative terms is non-negative.

-----------------------------------------------------------------------

Summary of changes:
 ginac/mul.cpp |   54 ++++++++++++++++++++++++++++++++++++++++++------------
 1 files changed, 42 insertions(+), 12 deletions(-)


hooks/post-receive
--
GiNaC -- a C++ library for symbolic computations


From alexei.sheplyakov at gmail.com  Fri Aug  2 18:52:11 2013
From: alexei.sheplyakov at gmail.com (Alexei Sheplyakov)
Date: Fri, 2 Aug 2013 19:52:11 +0300
Subject: [GiNaC-devel] More rules to mul::info()
In-Reply-To: <24430.1375115125@krein.leeds.ac.uk>
References: <24430.1375115125@krein.leeds.ac.uk>
Message-ID: <20130802165211.GA23639@vargsbox.jinr.ru>

Hello,

> Subject: [PATCH 2/2] Elaborate mul::info(). Add to mul::info() rules that a)
>  a product of two negative entries is positive; b) a
>  product of a positive and non-negative entries is
>  non-negative.

I've merged this one (with a slightly different commit message).

Best regards,
	Alexei



From kreckel at ginac.de  Tue Aug  6 00:39:00 2013
From: kreckel at ginac.de (Richard B. Kreckel)
Date: Tue, 06 Aug 2013 00:39:00 +0200
Subject: [GiNaC-devel] Build issues (Was: Simplifying powers)
In-Reply-To: <CADNgsy36sMkJ3Zx4yQmkOcpUREh1Oj5z45WrB466Y9pc1s9Lmg@mail.gmail.com>
References: <22829.1374879116@krein.leeds.ac.uk>
 <28938.1375020616@krein.leeds.ac.uk>
 <20130729110132.GB28251@vargsbox.jinr.ru>
 <26946.1375125159@krein.leeds.ac.uk> <51F6DD05.9040803@ginac.de>
 <15216.1375134061@krein.leeds.ac.uk>
 <20130730192326.GB26562@vargsbox.jinr.ru>
 <14098.1375214587@krein.leeds.ac.uk> <51F984EC.3080501@ginac.de>
 <20130801105235.GA13506@vargsbox.jinr.ru>
 <CADNgsy36sMkJ3Zx4yQmkOcpUREh1Oj5z45WrB466Y9pc1s9Lmg@mail.gmail.com>
Message-ID: <52002984.9020506@ginac.de>

Hi,

On 08/01/2013 04:09 PM, Alexei Sheplyakov wrote:
> Apparently automake 1.11 and 1.13  (or rather the Makefiles they
> generate) use different conventions regarding the naming of the header
> files built by bison/yacc. Automake 1.11 uses *.h for both C and C++
> headers, and automake 1.13 names C headers as *.h and C++ ones as
> *.hpp. By the way, renaming the sources (*.yy -> *.ypp) seems to have
> no effect at all (I guess the change which actually fixed the automake
> 1.13 build was `#include "ginsh_parser.hpp"').
> 
> Hence we need to convince automake 1.13 to produce ginsh_parser.h from
> ginsh_parser.{yy,ypp}, or the other way around -- convince the older
> versions of automake to produce ginsh_parser.hpp file.

Confirmed: It works with automake 1.13 now, but fails with 1.11. I
thought this had been broken before - strange. I was referring to
<http://www.gnu.org/software/automake/manual/html_node/Yacc-and-Lex.html> when
I renamed the files.

Was this an intentional change in automake? Is it worth retaining 1.11?

  -richy.
-- 
Richard B. Kreckel
<http://www.ginac.de/~kreckel/>


From alexei.sheplyakov at gmail.com  Wed Aug  7 21:44:19 2013
From: alexei.sheplyakov at gmail.com (Alexei Sheplyakov)
Date: Wed, 7 Aug 2013 22:44:19 +0300
Subject: [GiNaC-devel] Simplifying powers
In-Reply-To: <15216.1375134061@krein.leeds.ac.uk>
References: <22829.1374879116@krein.leeds.ac.uk>
 <28938.1375020616@krein.leeds.ac.uk>
 <20130729110132.GB28251@vargsbox.jinr.ru>
 <26946.1375125159@krein.leeds.ac.uk> <51F6DD05.9040803@ginac.de>
 <15216.1375134061@krein.leeds.ac.uk>
Message-ID: <20130807194419.GB23639@vargsbox.jinr.ru>

Hi, Vladimir,

I've got a few comments regarding the mul::info() patches.

> diff --git a/ginac/mul.cpp b/ginac/mul.cpp
> index cee5cd7..3ec279d 100644
> --- a/ginac/mul.cpp
> +++ b/ginac/mul.cpp
> @@ -307,6 +307,11 @@ bool mul::info(unsigned inf) const
>  		}
>  		case info_flags::positive:
>  		case info_flags::negative: {
> +			if ((inf==info_flags::positive) && (flags & status_flags::is_positive))
> +				return true;
> +			else if ((inf==info_flags::negative) && (flags & status_flags::is_negative))
> +				return true;
> +

Perhaps we can add

if (flags & status_flags::purely_indefinite)
	return false;

>  			bool pos = true;
>  			epvector::const_iterator i = seq.begin(), end = seq.end();
>  			while (i != end) {
> @@ -320,9 +325,12 @@ bool mul::info(unsigned inf) const
>  			}
>  			if (overall_coeff.info(info_flags::negative))
>  				pos = !pos;
> +			flags |= (pos? status_flags::is_positive : status_flags::is_negative);
>  			return (inf ==info_flags::positive? pos : !pos);
>  		}
>  		case info_flags::nonnegative: {
> +			if  (flags & status_flags::is_positive)
> +				return true;
>  			bool pos = true;
>  			epvector::const_iterator i = seq.begin(), end = seq.end();
>  			while (i != end) {
> @@ -373,6 +381,9 @@ bool mul::info(unsigned inf) const
>  				return false;
>  			return pos; 
>  		}
> +		case info_flags::indefinite: {
> +			return (flags & status_flags::purely_indefinite);

The proper calculation of purely_indefinite flag is missing (the flag is set
only by power::expand()), so mul::info(info_flags::indefinite) returns false
more often than not. For instance

symbol x("x"), y("y");
ex e = x*y;
if (!e.info(info_flags::indefinite)) {
	std::cerr << "Oops" << std::endl;
}

Best regards,
	Alexei




From kreckel at ginac.de  Thu Aug  8 00:04:51 2013
From: kreckel at ginac.de (Richard B. Kreckel)
Date: Thu, 08 Aug 2013 00:04:51 +0200
Subject: [GiNaC-devel] [SCM] GiNaC -- a C++ library for symbolic
 computations branch, master, updated. release_1-4-0-379-gbf0d265
In-Reply-To: <51F9828C.2060108@ginac.de>
References: <20120717050314.67E2AF00524@cebix.net> <51F9828C.2060108@ginac.de>
Message-ID: <5202C483.404@ginac.de>

Hi Alexei,

On 07/31/2013 11:33 PM, Richard B. Kreckel wrote:
> On 07/17/2012 07:03 AM, Alexei Sheplyakov wrote:
>> commit eded9cd9d5df793c1ea5a1f766eff261ded46bde
>> Author: Alexei Sheplyakov <Alexei.Sheplyakov at gmail.com>
>> Date:   Sun May 29 17:15:42 2011 +0300
>>
>>     [build] Move archive version info into version.h (for non autotools build).
>>     
>>     The canonical location for all version info is the ginac/version.h file
>>     now (so we can have two build systems without duplicating the version info
>>     in configure.ac and CMakeLists.txt).
> 
> 'make dist' fails now because it still wants ginac/version.h.in

And function.py isn't packaged but expected by the generated Makefiles.
The attached patch seems to solve both problems.

Alexei, does the attached patch look correct to you?

  -richy.
-- 
Richard B. Kreckel
<http://www.ginac.de/~kreckel/>
-------------- next part --------------
diff --git a/ginac/Makefile.am b/ginac/Makefile.am
index 8a3a762..e149d0c 100644
--- a/ginac/Makefile.am
+++ b/ginac/Makefile.am
@@ -67,7 +67,7 @@ ginacinclude_HEADERS = ginac.h add.h archive.h assertion.h basic.h class_info.h
   parser/parser.h \
   parser/parse_context.h
 
-EXTRA_DIST = version.h.in function.hppy function.cppy
+EXTRA_DIST = function.py function.hppy function.cppy
 
 BUILT_SOURCES = function.cpp function.h
 

From git at ginac.de  Sun Aug 11 09:11:02 2013
From: git at ginac.de (Alexei Sheplyakov)
Date: Sun, 11 Aug 2013 09:11:02 +0200 (CEST)
Subject: [GiNaC-devel] [SCM] GiNaC -- a C++ library for symbolic
	computations branch, master, updated. release_1-4-0-391-gb28ad5c
Message-ID: <20130811071103.05401F0050D@cebix.net>

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GiNaC -- a C++ library for symbolic computations".

The branch, master has been updated
       via  b28ad5c0535bed79bf6549f25faf071be842ac21 (commit)
      from  8ed95601ab0cff1bb02b2a908e5a2c118b1f0a06 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit b28ad5c0535bed79bf6549f25faf071be842ac21
Author: Alexei Sheplyakov <Alexei.Sheplyakov at gmail.com>
Date:   Sun Aug 11 09:59:53 2013 +0300

    [build] auto* tools based build: fix `make dist'.

-----------------------------------------------------------------------

Summary of changes:
 ginac/Makefile.am |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)


hooks/post-receive
--
GiNaC -- a C++ library for symbolic computations


From git at ginac.de  Sun Aug 11 13:26:48 2013
From: git at ginac.de (Richard B. Kreckel)
Date: Sun, 11 Aug 2013 13:26:48 +0200 (CEST)
Subject: [GiNaC-devel] [SCM] GiNaC -- a C++ library for symbolic
	computations branch, master, updated. release_1-4-0-392-gd266da8
Message-ID: <20130811112648.C987AF00474@cebix.net>

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "GiNaC -- a C++ library for symbolic computations".

The branch, master has been updated
       via  d266da8d47161d02ddd068f7f5b9acfabe92a192 (commit)
      from  b28ad5c0535bed79bf6549f25faf071be842ac21 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit d266da8d47161d02ddd068f7f5b9acfabe92a192
Author: Richard Kreckel <kreckel at ginac.de>
Date:   Sun Aug 11 13:16:15 2013 +0200

    [build] fix ginsh build for automake <=1.11.
    
    automake <=1.11 and automake >=1.12 have different conventions for naming
    C++ header files made by yacc.  To work with both, we write our own rule
    rather than using automake's.

-----------------------------------------------------------------------

Summary of changes:
 configure.ac           |    4 ++--
 ginsh/Makefile.am      |    8 ++++++--
 ginsh/ginsh_parser.ypp |    2 +-
 3 files changed, 9 insertions(+), 5 deletions(-)


hooks/post-receive
--
GiNaC -- a C++ library for symbolic computations


From cickumqt at gmail.com  Mon Aug 26 06:35:11 2013
From: cickumqt at gmail.com (Christopher Meng)
Date: Mon, 26 Aug 2013 12:35:11 +0800
Subject: [GiNaC-devel] AArch64 support.
Message-ID: <CAHcXnBH-wKO+CAGLOcEu3JRegZMgQoL3Y8HGo_--a6kZ9Zxq1g@mail.gmail.com>

Hi,

Due to this bug:

https://bugzilla.redhat.com/show_bug.cgi?id=925420

Can upstream update some files to match our requirement?

Thanks.


Yours sincerely,
Christopher Meng

Always playing in Fedora Project

http://cicku.me