Hi there,

I would like to gather some options on the way multivariate polynomial rings 
are printed in SAGE. I happen to construct quite big rings with block 
orderings, so the usual one-line representation gets messy quickly. So I 
would like to have method -- like long_repr or so -- to print a ring more 
structured.

EXAMPLE:

Lets consider a ring for the small scale AES variant SR(10,1,1,4):

=====
Usual:
=====

Polynomial Ring in k1000, k1001, k1002, k1003, x1000, x1001, x1002, x1003, 
w1000, w1001, w1002, w1003, s900, s901, s902, s903, k900, k901, k902, k903, 
x900, x901, x902, x903, w900, w901, w902, w903, s800, s801, s802, s803, k800, 
k801, k802, k803, x800, x801, x802, x803, w800, w801, w802, w803, s700, s701, 
s702, s703, k700, k701, k702, k703, x700, x701, x702, x703, w700, w701, w702, 
w703, s600, s601, s602, s603, k600, k601, k602, k603, x600, x601, x602, x603, 
w600, w601, w602, w603, s500, s501, s502, s503, k500, k501, k502, k503, x500, 
x501, x502, x503, w500, w501, w502, w503, s400, s401, s402, s403, k400, k401, 
k402, k403, x400, x401, x402, x403, w400, w401, w402, w403, s300, s301, s302, 
s303, k300, k301, k302, k303, x300, x301, x302, x303, w300, w301, w302, w303, 
s200, s201, s202, s203, k200, k201, k202, k203, x200, x201, x202, x203, w200, 
w201, w202, w203, s100, s101, s102, s103, k100, k101, k102, k103, x100, x101, 
x102, x103, w100, w101, w102, w103, s000, s001, s002, s003, k000, k001, k002, 
k003 over Finite Field in a of size 2^4

=========
SINGULAR:
=========

//   characteristic : 2
//   1 parameter    : a
//   minpoly        : (a^4+a+1)
//   number of vars : 164
//        block   1 : ordering dp
//                  : names    k1000 k1001 k1002 k1003
//        block   2 : ordering dp
//                  : names    x1000 x1001 x1002 x1003 w1000 w1001 w1002 w1003 
s900 s901 s902 s903 k900 k901 k902 k903
//        block   3 : ordering dp
//                  : names    x900 x901 x902 x903 w900 w901 w902 w903 s800 
s801 s802 s803 k800 k801 k802 k803
//        block   4 : ordering dp
//                  : names    x800 x801 x802 x803 w800 w801 w802 w803 s700 
s701 s702 s703 k700 k701 k702 k703
//        block   5 : ordering dp
//                  : names    x700 x701 x702 x703 w700 w701 w702 w703 s600 
s601 s602 s603 k600 k601 k602 k603
//        block   6 : ordering dp
//                  : names    x600 x601 x602 x603 w600 w601 w602 w603 s500 
s501 s502 s503 k500 k501 k502 k503
//        block   7 : ordering dp
//                  : names    x500 x501 x502 x503 w500 w501 w502 w503 s400 
s401 s402 s403 k400 k401 k402 k403
//        block   8 : ordering dp
//                  : names    x400 x401 x402 x403 w400 w401 w402 w403 s300 
s301 s302 s303 k300 k301 k302 k303
//        block   9 : ordering dp
//                  : names    x300 x301 x302 x303 w300 w301 w302 w303 s200 
s201 s202 s203 k200 k201 k202 k203
//        block  10 : ordering dp
//                  : names    x200 x201 x202 x203 w200 w201 w202 w203 s100 
s101 s102 s103 k100 k101 k102 k103
//        block  11 : ordering dp
//                  : names    x100 x101 x102 x103 w100 w101 w102 w103 s000 
s001 s002 s003 k000 k001 k002 k003
//        block  12 : ordering C

===============
My Shameless Copy
===============

Polynomial Ring
  Base Ring : Finite Field in a of size 2^4
       Size : 164 Variables
   Block  0 : Ordering : degrevlex
              Names    : k1000, k1001, k1002, k1003
   Block  1 : Ordering : degrevlex
              Names    : x1000, x1001, x1002, x1003, w1000, w1001, w1002, 
w1003, s900, s901, s902, s903, k900, k901, k902, k903
   Block  2 : Ordering : degrevlex
              Names    : x900, x901, x902, x903, w900, w901, w902, w903, s800, 
s801, s802, s803, k800, k801, k802, k803
   Block  3 : Ordering : degrevlex
              Names    : x800, x801, x802, x803, w800, w801, w802, w803, s700, 
s701, s702, s703, k700, k701, k702, k703
   Block  4 : Ordering : degrevlex
              Names    : x700, x701, x702, x703, w700, w701, w702, w703, s600, 
s601, s602, s603, k600, k601, k602, k603
   Block  5 : Ordering : degrevlex
              Names    : x600, x601, x602, x603, w600, w601, w602, w603, s500, 
s501, s502, s503, k500, k501, k502, k503
   Block  6 : Ordering : degrevlex
              Names    : x500, x501, x502, x503, w500, w501, w502, w503, s400, 
s401, s402, s403, k400, k401, k402, k403
   Block  7 : Ordering : degrevlex
              Names    : x400, x401, x402, x403, w400, w401, w402, w403, s300, 
s301, s302, s303, k300, k301, k302, k303
   Block  8 : Ordering : degrevlex
              Names    : x300, x301, x302, x303, w300, w301, w302, w303, s200, 
s201, s202, s203, k200, k201, k202, k203
   Block  9 : Ordering : degrevlex
              Names    : x200, x201, x202, x203, w200, w201, w202, w203, s100, 
s101, s102, s103, k100, k101, k102, k103
   Block  10 : Ordering : degrevlex
              Names    : x100, x101, x102, x103, w100, w101, w102, w103, s000, 
s001, s002, s003, k000, k001, k002, k003

-- 
name: Martin Albrecht
_pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99
_www: http://www.informatik.uni-bremen.de/~malb
_jab: [EMAIL PROTECTED]


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