Re: Re: [sage-devel] Re: use Sage!

2013-08-30 Thread Martin Albrecht
Hi all,

seems like my environment is very very forgiving. I missed amsmath and amssym. 
I’ve just committed a new version which should compile in standard 
environments.

Cheers,
Martin

On Friday 30 Aug 2013 09:13:02 William Stein wrote:
> On Fri, Aug 30, 2013 at 8:40 AM, Jason Grout
> 
>  wrote:
> > On 8/30/13 5:53 AM, Martin Albrecht wrote:
> >> Hi all,
> >> 
> >> it’s here: https://bitbucket.org/malb/sage-gb-book
> > 
> > Also, you could create a project on cloud.sagemath.com and collaboratively
> > edit the textbook right there.  Live, real-time.  And push changes back to
> > bitbucket.  And have automatic side-by-side pdf previews, which include
> > sagetex output.

Btw. I tend to work while offline quite a bit (I have a very long commute 
involving planes and international borders) so cloud.sagemath.org doesn’t seem 
like the right environment for *me*. Yet, if people want to collaborate there 
that shouldn’t affect them.

> The book is in several different files and my implementation isn't
> perfect (yet) in the case of multiple files (so watch out -- that
> said, this could be a good sample input for dealing with multiple
> files).  That said, I don't know how to build the book.
> 
> pdflatex sage-gb-book.tex
> 
> Error with minionpro, and I see
> 
> % I really like MinionPro but you can comment this out if it causes
> problems: %
> http://carlo-hamalainen.net/blog/2007/12/11/installing-minion-pro-fonts
> \usepackage{MinionPro}
> 
> 
> so I comment out it, since MinionPro isn't in Ubuntu (even the latest
> 13.10 as far as I can tell), and installing it involves a bunch of
> steps.  I tried commenting out that line and...
> 
> pdflatex sage-gb-book.tex
> 
> l.1 \chapter
> {Introduction} [1]
> Chapter 1.
> ! Undefined control sequence.
>  \mathbb
>{F}
> l.8 \item $\F
>  $ is a field, not necessarily algebraically closed.
> $\overline{...
> 
> 
> Martin, how is one supposed to build your book?
> 
> > Just an idea
> > 
> > Thanks,
> > 
> > Jason
> > 
> > 
> > 
> > --
> > 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 http://groups.google.com/group/sage-devel.
> > For more options, visit https://groups.google.com/groups/opt_out.

--
name: Martin Albrecht
_pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x6532AFB4
_otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF
_www: http://martinralbrecht.wordpress.com/
_jab: martinralbre...@jabber.ccc.de

signature.asc
Description: This is a digitally signed message part.


Re: Re: Re: [sage-devel] Re: use Sage!

2013-08-30 Thread john_perry_usm
Martin

Maybe one of us misunderstands the other (& maybe this should become a new 
thread? dunno).

I am somewhat hesitant, though, to go too deep into signature based 
> algorithms 
> and new improvements...


It was not my intention to go deep into signature based algorithms; I was 
trying to qualify the dynamic algorithm as not being signature based. As it 
dates from 1993, it's much older than F5 & variants. There's no need to put 
the newer stuff in there, but I was thinking the dynamic algorithm would be 
useful in a text that introduces to Sage, as an illustration of how to make 
two very different parts work together (MILP and Singular). If you think 
otherwise, okay.

Out of curiosity, though, what do you think is wrong with the mathematical 
aspect? Did you have specific applications to commutative algebra in mind? 
If so, someone like Simon might be a better contributor.

john perry

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.


Re: Re: Re: [sage-devel] Re: use Sage!

2013-08-30 Thread Martin Albrecht
Hi all,

it’s here: https://bitbucket.org/malb/sage-gb-book

Cheers,
Martin

On Thursday 29 Aug 2013 20:53:32 john_perry_usm wrote:
> Martin
> 
> 
> I'd be willing to help with this. Aside from having worked with you on a
> couple of the programs, I've been working on resurrecting the dynamic
> algorithms of Caboara and Gritzmann and Sturmfels, using a new technique. I
> also have some stuff you could probably use for introductory material. The
> toy implementation shows some promise, even before tying it to signature
> techniques (which is planned) and would illustrate how Sage lets you tie
> symbolic & numerical techniques together. The research led to a few bug
> fixes in the Mixed Integer Programming last year! :-)
> 
> 
> john perry
> 
> On Thursday, August 29, 2013 4:18:11 AM UTC-5, Martin Albrecht wrote:
> > On Wednesday 28 Aug 2013 11:17:10 Rob Beezer wrote:
> > > If you think this is a good project for the Sage community, then
> > 
> > consider
> > 
> > > demonstrate the viability by volunteering as an author, editor, producer
> > > and/or manager of such an effort (in addition to those expressing
> > 
> > interest
> > 
> > > already above).
> > 
> > Hi all,
> > 
> > fwiw I toyed with the idea of turning part 2 of my thesis which introduce
> > Gröbner bases and algorithms for computing them using Sage into a
> > stand-alone
> > text. It could be expanded, for example I have toy implementations of F4,
> > F5,
> > F4/F5 and Matrix-F5 in Sage, all algorithms that people could benefit from
> > playing around with to wrap their heads around them.
> > 
> > However, since I am not a mathematician but a cryptographer with a
> > computer
> > science degree (I think that shows in the material) and I am still a mere
> > postdoc, I think it would need a second author or so. Perhaps someone with
> > a
> > stronger background in commutative algebra could partner up with me.
> > 
> > Just an idea to throw into the ring.
> > 
> > Cheers,
> > Martin

--
name: Martin Albrecht
_pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x6532AFB4
_otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF
_www: http://martinralbrecht.wordpress.com/
_jab: martinralbre...@jabber.ccc.de

signature.asc
Description: This is a digitally signed message part.


Re: Re: Re: [sage-devel] Re: use Sage!

2013-08-30 Thread Martin Albrecht
Hi John, [sage-devel]

awesome! I shall put what I have in a repository on bitbucket and you can then 
have a look to see what you think might need work etc.?

I am somewhat hesitant, though, to go too deep into signature based algorithms 
and new improvements, this sounds more like research than an introduction 
using Sage?

Cheers,
Martin

On Thursday 29 Aug 2013 20:53:32 you wrote:
> Martin
> 
> 
> I'd be willing to help with this. Aside from having worked with you on a
> couple of the programs, I've been working on resurrecting the dynamic
> algorithms of Caboara and Gritzmann and Sturmfels, using a new technique. I
> also have some stuff you could probably use for introductory material. The
> toy implementation shows some promise, even before tying it to signature
> techniques (which is planned) and would illustrate how Sage lets you tie
> symbolic & numerical techniques together. The research led to a few bug
> fixes in the Mixed Integer Programming last year! :-)
> 
> 
> john perry
> 
> On Thursday, August 29, 2013 4:18:11 AM UTC-5, Martin Albrecht wrote:
> > On Wednesday 28 Aug 2013 11:17:10 Rob Beezer wrote:
> > > If you think this is a good project for the Sage community, then
> > 
> > consider
> > 
> > > demonstrate the viability by volunteering as an author, editor, producer
> > > and/or manager of such an effort (in addition to those expressing
> > 
> > interest
> > 
> > > already above).
> > 
> > Hi all,
> > 
> > fwiw I toyed with the idea of turning part 2 of my thesis which introduce
> > Gröbner bases and algorithms for computing them using Sage into a
> > stand-alone
> > text. It could be expanded, for example I have toy implementations of F4,
> > F5,
> > F4/F5 and Matrix-F5 in Sage, all algorithms that people could benefit from
> > playing around with to wrap their heads around them.
> > 
> > However, since I am not a mathematician but a cryptographer with a
> > computer
> > science degree (I think that shows in the material) and I am still a mere
> > postdoc, I think it would need a second author or so. Perhaps someone with
> > a
> > stronger background in commutative algebra could partner up with me.
> > 
> > Just an idea to throw into the ring.
> > 
> > Cheers,
> > Martin

--
name: Martin Albrecht
_pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x6532AFB4
_otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF
_www: http://martinralbrecht.wordpress.com/
_jab: martinralbre...@jabber.ccc.de

signature.asc
Description: This is a digitally signed message part.


Re: Re: [sage-devel] Re: use Sage!

2013-08-29 Thread john_perry_usm
 

Martin


I'd be willing to help with this. Aside from having worked with you on a 
couple of the programs, I've been working on resurrecting the dynamic 
algorithms of Caboara and Gritzmann and Sturmfels, using a new technique. I 
also have some stuff you could probably use for introductory material. The 
toy implementation shows some promise, even before tying it to signature 
techniques (which is planned) and would illustrate how Sage lets you tie 
symbolic & numerical techniques together. The research led to a few bug 
fixes in the Mixed Integer Programming last year! :-)


john perry

On Thursday, August 29, 2013 4:18:11 AM UTC-5, Martin Albrecht wrote:
>
> On Wednesday 28 Aug 2013 11:17:10 Rob Beezer wrote: 
> > If you think this is a good project for the Sage community, then 
> consider 
> > demonstrate the viability by volunteering as an author, editor, producer 
> > and/or manager of such an effort (in addition to those expressing 
> interest 
> > already above). 
>
> Hi all, 
>
> fwiw I toyed with the idea of turning part 2 of my thesis which introduce 
> Gröbner bases and algorithms for computing them using Sage into a 
> stand-alone 
> text. It could be expanded, for example I have toy implementations of F4, 
> F5, 
> F4/F5 and Matrix-F5 in Sage, all algorithms that people could benefit from 
> playing around with to wrap their heads around them. 
>
> However, since I am not a mathematician but a cryptographer with a 
> computer 
> science degree (I think that shows in the material) and I am still a mere 
> postdoc, I think it would need a second author or so. Perhaps someone with 
> a 
> stronger background in commutative algebra could partner up with me. 
>
> Just an idea to throw into the ring. 
>
> Cheers, 
> Martin 
>
>
> -- 
> name: Martin Albrecht 
> _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x6532AFB4 
> _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF 
> _www: http://martinralbrecht.wordpress.com/ 
> _jab: martinr...@jabber.ccc.de 

-- 
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 http://groups.google.com/group/sage-devel.
For more options, visit https://groups.google.com/groups/opt_out.


Re: Re: [sage-devel] Re: use Sage!

2013-08-29 Thread Martin Albrecht
On Wednesday 28 Aug 2013 11:17:10 Rob Beezer wrote:
> If you think this is a good project for the Sage community, then consider 
> demonstrate the viability by volunteering as an author, editor, producer 
> and/or manager of such an effort (in addition to those expressing interest
> already above).

Hi all,

fwiw I toyed with the idea of turning part 2 of my thesis which introduce 
Gröbner bases and algorithms for computing them using Sage into a stand-alone 
text. It could be expanded, for example I have toy implementations of F4, F5, 
F4/F5 and Matrix-F5 in Sage, all algorithms that people could benefit from 
playing around with to wrap their heads around them.

However, since I am not a mathematician but a cryptographer with a computer 
science degree (I think that shows in the material) and I am still a mere 
postdoc, I think it would need a second author or so. Perhaps someone with a 
stronger background in commutative algebra could partner up with me. 

Just an idea to throw into the ring.

Cheers,
Martin


--
name: Martin Albrecht
_pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x6532AFB4
_otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF
_www: http://martinralbrecht.wordpress.com/
_jab: martinralbre...@jabber.ccc.de

signature.asc
Description: This is a digitally signed message part.