[sage-devel] Re: Vote for making "meataxe" optional

2016-02-29 Thread Simon King
Hi Jeroen,

On 2016-02-29, Jeroen Demeyer  wrote:
> On 2016-02-29 12:21, Simon King wrote:
>> Interesting. I wonder how that can be debugged. I mean, it is file i/o.
>> That definitely should work.
>
> See #20136 (I have no time to fix these issues, but that ticket should 
> contain enough information but somebody to fix it).

Great, thank you! I'll point upstream to it.

And I guess it is another weak point that upstream didn't autotoolize
it, but uses a custom Makefile.

Best regards,
Simon

-- 
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] Re: Vote for making "meataxe" optional

2016-02-29 Thread Jeroen Demeyer

On 2016-02-29 12:21, Simon King wrote:

Interesting. I wonder how that can be debugged. I mean, it is file i/o.
That definitely should work.


See #20136 (I have no time to fix these issues, but that ticket should 
contain enough information but somebody to fix it).


--
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: Vote for making "meataxe" optional

2016-02-29 Thread Simon King
Hi Jeroen,

On 2016-02-29, Jeroen Demeyer  wrote:
> On 2016-02-28 10:49, Simon King wrote:
>> I'd also like to ask people to test the package on a range of platforms.
>
> The meataxe testsuite fails on powerpc64le:
>
> MeatAxe Version 2.4.24 ZZZ=ZZZ 64 Feb 29 2016 10:17:31 $
> Test 0241: Random number generator Ok
> Test 0221: OS interface Ok
> Test 0222: File i/o: integer
> *** ERROR:Unexpected value 4294898226 at position 1

Interesting. I wonder how that can be debugged. I mean, it is file i/o.
That definitely should work.

Thank you for testing!

Simon

-- 
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: Vote for making "meataxe" optional

2016-02-29 Thread Simon King
Hi Jeroen,

On 2016-02-29, Jeroen Demeyer  wrote:
> On 2016-02-28 10:49, Simon King wrote:
>> Recently, a "MeatAxe" package was added to Sage. Currently, it is
>> experimental
>
> Really?
>
> jdemeyer@sardonis:~/sage-check$ cat build/pkgs/meataxe/type
> optional

Yes. But on another Sage list it was stated by someone that the package
was experimental, which caused some trouble. And thus I got the
impression that I should ask here first.

Cheers,
Simon

-- 
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: Vote for making "meataxe" optional

2016-02-28 Thread Dima Pasechnik


On Sunday, February 28, 2016 at 10:11:24 AM UTC, mmarco wrote:
>
> I definitely vote for making it optional, and try to make it standard soon.


me too.
 

> Unless the code you wrote with Martin gets finished and proves to be 
> better, of course.
>

-- 
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: Vote for making "meataxe" optional

2016-02-28 Thread Simon King
On 2016-02-28, Simon King  wrote:
> I had to patch the upstream sources considerably.
> - One patch prevents that MeatAxe writes multiplication tables into the
>   current directory. Upstream claims that setting an appropriate
>   environment variable would be enough for that purpose, but for that
>   one first needs to fix a bug.
> - One patch does some rather trivial improvements to Gaussian
>   elimination.
> - One patch implements asymptotically fast matrix multiplication
>   (Strassen-Winograd with a memory efficient schedule). It beats MeatAxe's
>   school book multiplication even for relatively small matrices.
> - One patch makes it so that fast matrix multiplication is used in the
>   modular representation part of MeatAxe, too.

One more thing: I added proper error handling. MeatAxe upstream sources do
provide hooks for callback functions, but error return values are not
correctly propagated. That's fixed by one of my patches, too, so that
the inversion of a singular matrix doesn't just crash but results in a
ZeroDivision error.

Cheers,
Simon

-- 
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: Vote for making "meataxe" optional

2016-02-28 Thread Simon King
Hi David,

On 2016-02-28, David Roe  wrote:
>> I definitely vote for making it optional, and try to make it standard soon.
>>
>
> Agreed.  I'm also interested in the modular representation part of
> meataxe.  Is that functionality exposed in the current package or will that
> require more Cython wrappers?

The MeatAxe executables
  cfcomp checksum chop decomp genmod mkcycl mkdotl mkgraph mkhom mkhom_old
  mkinc mksub mktree orbrep precond pseudochop pwkond rad soc symnew tcond tuc
  zad zbl zcf zcl zcp zct zcv zef zev zfr ziv zkd zmo zmu zmw znu zor zpo zpr
  zpt zqt zro zsc zsi zsp zsy ztc zte ztr zts zuk zvp
as well as the upstream library libmtx.a are built and installed.

So, technically, all functionality is exposed. But more Cython wrappers are
needed to use it from within Sage.

Best regards,
Simon

-- 
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.