Martin Albrecht wrote:
>
>> Slightly OT: Do you plan to release the Small Scale AES with you
>> mutlivariate crypto system package any time soon? I have some code to
>> create SymbolicData.org output for the CTC examples (which still needs
>> to be cleaned up). I am currently at CoCoA School and next week is
>> MEGA, so I won't be able to play with it for at least another 10 days
>> - so no preassure from me :)
>
> Hi there,

Hello,

>
> I have uploaded the constructor to
>
>    http://sage.math.washington.edu/home/malb/sr/


I got them both, and I will have a look tonight. Does this version contain
the bugfix you gave me in IRC about 3 weeks ago? I am not remembering too
much about the details at the moment and I do not have my changelog around
since I am travelling.

>
> . You will have to attach both files. sr.py contains the Small Scale AES
> variants constructor and mpolynomialsystem.py a class to deal with
> multivariate polynomial systems.
>
> I am not that satisfied with either of them. I think MPolynomialSystem
> will
> change a lot in the future and feedback/input is very welcome. The idea is
> to
> have a class to deal conveniently with sets/lists of polynomials with a
> common solution. In some other CASes this would be called an ideal but
> SAGE
> makes the mathematically correct distinction between ideals and the set of
> generators.
>
> So, let me know what you think about it.
>

Well, an ideal is certainly more than its generators, but I am sure that
this more or less boils down to which part of mathematics you are coming
from.

> About the SymbolicData export: Wouldn't it be better to have a
> symbolic_data
> method on either Ideal and/or MPolynomialSystem to export the set of
> generators to the SymbolicData format instead of writing a custom one for
> all
> the cryptosystems?
>

Probably :)

> Btw: Michael Brickenstein (of SINGULAR) also worked with the SymbolicData
> format and recommended including lxml to SAGE for that reason.
>

I will try to talk to him about it at MEGA next week. If I remember
correctly you did create a SAGE package, but I do believe that there still
is/was a problem with systems with parameters, i.e. when the
indeterminates are caputalized. I am not sure if SAGE can do that yet.

> Martin
>

Cheers,

Michael


--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at http://groups.google.com/group/sage-devel
URLs: http://sage.scipy.org/sage/ and http://modular.math.washington.edu/sage/
-~----------~----~----~----~------~----~------~--~---

Reply via email to