Re: [sage-devel] No output from GAP

2019-04-29 Thread Dima Pasechnik
On Tue, Apr 30, 2019 at 1:18 AM Andrey Novoseltsev  wrote:
>
> On Monday, 29 April 2019 14:20:39 UTC-6, Dima Pasechnik wrote:
>>
>> would it be easier to switch to libgap?
>
>
> Do you mean this? 
> http://doc.sagemath.org/html/en/reference/libs/sage/libs/gap/libgap.html?highlight=libgap#sage.libs.gap.libgap.Gap.eval
> There is however a restriction on no trailing semicolon.

the trailing ';' is ignored, it's not a restriction.

> For SageMathCell it is very likely that the input contains several commands 
> (as it was the case for the original example here).

OK, several commands won't work  - but I don't understand the use case here.
Are you trying to emulate gap_console() ?


>What can be done in this case? Just splitting on l; is likely to break on 
>comments and strings.
>
>>
>> On Mon, Apr 29, 2019 at 5:54 PM Andrey Novoseltsev  wrote:
>> >
>> > Reminded me of this old issue with Macaulay2 many years ago: 
>> > https://trac.sagemath.org/ticket/5467 I wonder if it is something similar 
>> > here...
>> >
>> > --
>> > 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 post to this group, send email to sage-...@googlegroups.com.
>> > Visit this group at https://groups.google.com/group/sage-devel.
>> > For more options, visit https://groups.google.com/d/optout.
>
> --
> 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 post to this group, send email to sage-devel@googlegroups.com.
> Visit this group at https://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/d/optout.

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


Re: [sage-devel] No output from GAP

2019-04-29 Thread Andrey Novoseltsev
On Monday, 29 April 2019 14:20:39 UTC-6, Dima Pasechnik wrote:
>
> would it be easier to switch to libgap? 
>

Do you mean this? 
http://doc.sagemath.org/html/en/reference/libs/sage/libs/gap/libgap.html?highlight=libgap#sage.libs.gap.libgap.Gap.eval
There is however a restriction on no trailing semicolon. For SageMathCell 
it is very likely that the input contains several commands (as it was the 
case for the original example here). What can be done in this case? Just 
splitting on l; is likely to break on comments and strings.


> On Mon, Apr 29, 2019 at 5:54 PM Andrey Novoseltsev  > wrote: 
> > 
> > Reminded me of this old issue with Macaulay2 many years ago: 
> https://trac.sagemath.org/ticket/5467 I wonder if it is something similar 
> here... 
> > 
> > -- 
> > 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 post to this group, send email to sage-...@googlegroups.com 
> . 
> > Visit this group at https://groups.google.com/group/sage-devel. 
> > For more options, visit https://groups.google.com/d/optout. 
>

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


Re: [sage-devel] No output from GAP

2019-04-29 Thread Dima Pasechnik
would it be easier to switch to libgap?

On Mon, Apr 29, 2019 at 5:54 PM Andrey Novoseltsev  wrote:
>
> Reminded me of this old issue with Macaulay2 many years ago: 
> https://trac.sagemath.org/ticket/5467 I wonder if it is something similar 
> here...
>
> --
> 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 post to this group, send email to sage-devel@googlegroups.com.
> Visit this group at https://groups.google.com/group/sage-devel.
> For more options, visit https://groups.google.com/d/optout.

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


Re: [sage-devel] No output from GAP

2019-04-29 Thread Andrey Novoseltsev
Reminded me of this old issue with Macaulay2 many years ago: 
https://trac.sagemath.org/ticket/5467 I wonder if it is something similar 
here...

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


Re: [sage-devel] No output from GAP

2019-04-29 Thread Andrey Novoseltsev
Thank you for the confirmation and debugging, Vincent!

It was pointed out to me that we even have it documented:
http://doc.sagemath.org/html/en/reference/interfaces/sage/interfaces/gap.html#long-input
Is it really that difficult to fix??? Surely there has to be some reason 
and solution for this behaviour...

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[sage-devel] Re: Quadratic Form is_globally_equivalent_to Bug

2019-04-29 Thread Simon Brandhorst
This is now 

https://trac.sagemath.org/ticket/27749

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.


[sage-devel] Re: Automatic Differentiation - Taylor Arithmetics

2019-04-29 Thread mmarco
You might be interested in taking a look at tides [1]. It is a library for 
integration of ODE's in high precission using precisely automatic 
differentiation and Taylor arithmetic. It doesn't use interval arithemtic 
(so, no certified computation), but maybe some ideas could be useful.
The way it works is by translating the function that defines your ODE to 
c-code and then compiling it.

There is a tides optional package for sage, and an interface to it.




[1] https://iuma.unizar.es/es/investigacion/software/TIDES

El viernes, 19 de abril de 2019, 14:48:09 (UTC+2), Nisoli Isaia escribió:
>
> Dear all,
> I was planning in doing a Cython implementation of Forward automatic 
> differentiation and 
> Taylor arithmetics  as in
> https://press.princeton.edu/titles/9488.html
> to use to implement a library for Sage with rigorous quadrature and 
> integration of ODE.
>
> I'm trying to understand which parent class could be the best for these 
> objects for them 
> to be compatible with Sage coercion model.
>
> What is the usual procedure, I read through 
>
> http://doc.sagemath.org/html/en/reference/structure/sage/structure/element.html
> but I'm still confused.
>
> Best wishes
> Isaia
>

-- 
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 post to this group, send email to sage-devel@googlegroups.com.
Visit this group at https://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/d/optout.