[sage-devel] Re: Poll: Making sage-mode a standard package

2012-05-31 Thread syd.lavas...@gmail.com
 [X] Make it standard at some point in the near future

Mainly because I think everybody should use emacs as their operating 
system. it will save their time and the money they spend on buying fancey 
computers. Also Nicolas is very cool so I wanted to support his point ;)

That's said, I found couple of bugs in it when I use it with emacs 24, for 
example you can only run sage-build from a window with inferior-sage-mode 
(subproblem of what we discussed before probably you need to add that hook 
thingi to the sage-build as well), also autocomplete and keyword?? take 
ages to work. It also hijacks python files no matter if there's a python 
interpretor open or not (I wrote a fix for this one). Though, it's unstable 
emacs 24. But if by the time it gets released, sage-mode is not standard, 
it's less probable that somebody cares about these bugs as Benjamin said.

בתאריך יום רביעי, 30 במאי 2012 09:27:05 UTC-6, מאת David Kohel:

 [X ] Make it standard at some point in the near future. 

 Argument: Sage includes many interfaces to standard software. 
 This includes software that the majority users will never use in 
 their lifetimes, e.g. the big M's (unless at a mathematics 
 department or institute where there exists a license) and 
 numerous open source software libraries and systems. 
 Emacs is a standard open source tool, and an interface 
 (albeit from emacs to sage) seems reasonable. 
 I also thought that this was standard in the sense that 
 it was one file which one could find (like sagetex.sty) in 
 the sage distribution.  I would like to find it there if I need 
 to update my system. 

 --David 

 On May 30, 7:44 am, Ivan Andrus darthand...@gmail.com wrote: 
  On May 25, 2012, at 11:24 PM, Ivan Andrus wrote: 
  
   Dear all sage and emacs (or not) users, 
  
   Since I've been working on sage-mode a bit recently I thought I would 
 look at trac and try to fix any sage-mode related bugs there.  I found 
 #2666 which wants to make sage-mode a standard package. 
  
   If people want this then I'd like to get it done.  But if not then I'd 
 like to close the ticket.  Personally, I'm not sure it should be standard 
 since people who wish to use it still have to add something to their 
 .emacs, and hence they still need to know about it and take some action. 
  However, I'm open to being persuaded.  The spkg is 272K. 
  
   [ ] Make it standard at some point in the near future. 
   [ ] Don't make it standard and close the ticket. 
   [ ] Don't make it standard now, but don't close the ticket. 
  
  The results are fairly close (I guess everyone has responded who wants 
 to).  We have 3.5 votes for making it standard, 3.5 for not, and 1 for 
 thought it was standard, which I assume means make it standard.  So I guess 
 I'll keep the ticket open and work towards making it standard unless anyone 
 else would like to weigh in. 
  
  -Ivan 
  
  [X] Don't make it standard and close the ticket. 
Justin C. Walker 
David Roe 
Dima Pasechnik 
Benjamin Jones -- initially, see below 
  
  [X] Make it standard at some point in the near future. 
Nicolas M. Thiéry 
Keshav Kini 
Volker Braun 
Benjamin Jones -- if it would improve maintenance, see above 
  
  [X] I thought it was already standard, and am surprised to hear that it 
 isn't. 
William Stein

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: Interface for evaluation of polynomials distinguishes between 1 and 1 variables

2012-05-10 Thread syd.lavas...@gmail.com
I support the cause as well. Today, again I had to write the anoying 

if unipoly  p(arg) otherwise p([arg] + rest)


בתאריך יום חמישי, 10 במאי 2012 17:19:57 UTC-6, מאת Keshav Kini:

 darijgrinberg darijgrinb...@gmail.com writes: 
  I am wondering whether this is intended behaviour or a bug. I imagine 
  it being a consequence of univariate and multivariate polynomial rings 
  being implemented differently, and it is easy to work around in most 
  cases, but I imagine it being a source of annoying bugs... Could there 
  be any conflict if one is allowed to apply univariate polynomials to a 
  one-element list? 

 It seems like a reasonable feature request (or bug fix if you want to 
 call it that) to me. I made a ticket on the bug tracker - it's up at 
 http://trac.sagemath.org/sage_trac/ticket/12939 . If someone does come 
 up with a reason why this is a bad idea, we can always invalidate the 
 ticket... 

 -Keshav 

  
 Join us in #sagemath on irc.freenode.net ! 



-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: track 12339, please review

2012-04-28 Thread syd.lavas...@gmail.com
I use fintely presented group in my code and for that I have to make lots 
of call to gap. I'll try to replace them with your code and I'll see how 
it'll work.

At first glance, I think it would have been a good idea, if you would have 
started with permgroup.py and turned it into a free/finitepresent group. 
Your classes lack some functions like _element_class(self), etc that can be 
found in permgroup.py.

בתאריך יום שישי, 27 באפריל 2012 14:11:30 UTC-6, מאת mmarco:

 I have a first version of an implementation of free groups, finitely 
 presented groups and braid groups. For the moment there is a partial 
 list of the fatures: 

 -operation in free groups, finitely presented groups and braid groups 
 through gap. 
 -some gap functions are wrapped, such as abelian invariants, size, and 
 recover the symetric representation of a fp group (not that these two 
 operations may not end) 
 -Burau and Lawrence-Krammer-Bigelow representations of braids 
 -2d and 3d plotting of braids 
 -left normal form of braids 

 please share your thoughts.

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


Re: [sage-devel] Re: inferior sage in emacs, bug?

2012-04-25 Thread syd.lavas...@gmail.com
Confirmed! It works as far as I can say. Thanks a lot. I'll update the 
thread if I see something abnormal.

Where was the compilation-minor-mode before, that I had to call it manually?

Syd

בתאריך יום רביעי, 25 באפריל 2012 10:27:13 UTC-6, מאת Ivan Andrus:

 Sorry, I got involved in other problems and forgot about this one.  I have 
 updated my spkg [1] to include a work around.  It basically just moves the 
 call to `compilation-minor-mode' into `sage-send-command'.  If you could 
 try it out and let me know if you have any problems that would be great.

 -Ivan

 [1] http://boxen.math.washington.edu/home/iandrus/sage_mode-0.8.spkg

 On Apr 24, 2012, at 4:27 PM, syd.lavas...@gmail.com wrote:

 I confirm I getting the same bug, in emacs 24, sage 5, getting

 Wrong type argument: hash-table-p, nil

 buffer *SAGE-main* is in commint-run mode. No inferior-sage-mode.

 I have to run inferior-sage-mode, manually.

 I have installed sage-mode-0.6 and sage-mode-0.7 directly from sage website
 I also checked Ivan's sage_mode-0.8. The error is persistant in all 
 version.

 בתאריך יום שלישי, 10 באפריל 2012 15:38:54 UTC-6, מאת Ezequiel Birman:

 Are sage-mode inferior-sage-mode and sage-view still supported?

 I (kind of) managed to get an Inferior Sage. Is there a way to eval last
 expresion in sage-mode instead of the whole buffer (C-c C-r)?

 I am using latest sage (4.8) and sage-mode cloned from mercurial
 repo.  (by the way, I've built and installed sage-mode python packages in
 the default location: /usr/lib/python2.7/site-packages/ Should I move
 them under the sage dir hierarchy? ie. overwrite the old python packages
 installed by sage 4.8?)

 After 'M-x sage' i got this error:

  compilation-forget-errors: Wrong type argument: hash-table-p, nil

 and buffer *SAGE-main* is in commint-run mode. No inferior-sage-mode.

 The problem seems to lie in python-send-command. I'm not quite sure, but
 i've added

  ;;; hack to avoid error in python-send-command
  (add-hook 'sage-startup-before-prompt-hook (lambda () 
 (compilation-minor-mode 1)))

 which initializes a hash table needed by compilation-mode, to my .emacs.

 Now, after 'M-x sage' *SAGE-main* pops-up properly but i still get:

  comint-redirect-send-command-to-process: No prompt found or
  `comint-prompt-regexp' not set properly

 but comint-prompt-regexp local value for buffer *SAGE-main* is:

  
 ^\\(?:\\(?:\\(?:(\\(?:[Pg]db)\\)\\|\\.\\.\\.\\(?:\\.\\.\\)?\\|\\|ipdb\\|sage:\\)\\)
  
 \\)+

 Here is a portion of my .emacs:

  sage-mode
 ;;; https://bitbucket.org/ncalexan/sage-mode
 ;;; http://wiki.sagemath.org/sage-mode
 ;;(add-to-list 'load-path /usr/local/share/sage/data/emacs)
 (add-to-list 'load-path /usr/local/src/sage/sage-mode/emacs)
 (require 'sage)
 (setq sage-command /usr/local/share/sage/sage)

 ;; If you want sage-view to typeset all your output and have plot()
 ;; commands inline, uncomment the following line and configure sage-view:
 (autoload 'sage-view sage-view  t)

 ;; (add-hook 'sage-startup-before-prompt-hook
 ;;   (lambda ()
 ;; (set (make-local-variable 'compilation-locs)
 ;;  (make-hash-table :test 'equal :weakness 'value

 ;; (remove-hook 'sage-startup-before-prompt-hook 
 'sage-send-startup-before-prompt-command)

 (add-hook 'inferior-sage-mode-hook
   (function
(lambda ()
  ;;(setq comint-redirect-perform-sanity-check t)
  (sage-view)
  ;; (sage-view-enable-inline-output)
  ;; (sage-view-enable-inline-plots)
  )))

 ;;; hack to avoid error in python-send-command
 (add-hook 'sage-startup-before-prompt-hook
(lambda () (compilation-minor-mode 1)))
   
 (add-hook 'sage-mode-hook
   '(lambda () ; taken from 
 http://www.cs.caltech.edu/courses/cs11/material/python/misc/python_style_guide.html#TABS
  (set-variable 'py-indent-offset 4)
  (set-variable 'py-smart-indentation nil)
  (set-variable 'indent-tabs-mode nil)))

 Thank you

 -- 
 Ezequiel Birman


 -- 
 To post to this group, send an email to sage-devel@googlegroups.com
 To unsubscribe from this group, send an email to 
 sage-devel+unsubscr...@googlegroups.com
 For more options, visit this group at 
 http://groups.google.com/group/sage-devel
 URL: http://www.sagemath.org




-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: inferior sage in emacs, bug?

2012-04-24 Thread syd.lavas...@gmail.com
I confirm I getting the same bug, in emacs 24, sage 5, getting

Wrong type argument: hash-table-p, nil

buffer *SAGE-main* is in commint-run mode. No inferior-sage-mode.

I have to run inferior-sage-mode, manually.

I have installed sage-mode-0.6 and sage-mode-0.7 directly from sage website
I also checked Ivan's sage_mode-0.8. The error is persistant in all version.

בתאריך יום שלישי, 10 באפריל 2012 15:38:54 UTC-6, מאת Ezequiel Birman:

 Are sage-mode inferior-sage-mode and sage-view still supported?

 I (kind of) managed to get an Inferior Sage. Is there a way to eval last
 expresion in sage-mode instead of the whole buffer (C-c C-r)?

 I am using latest sage (4.8) and sage-mode cloned from mercurial
 repo.  (by the way, I've built and installed sage-mode python packages in
 the default location: /usr/lib/python2.7/site-packages/ Should I move
 them under the sage dir hierarchy? ie. overwrite the old python packages
 installed by sage 4.8?)

 After 'M-x sage' i got this error:

  compilation-forget-errors: Wrong type argument: hash-table-p, nil

 and buffer *SAGE-main* is in commint-run mode. No inferior-sage-mode.

 The problem seems to lie in python-send-command. I'm not quite sure, but
 i've added

  ;;; hack to avoid error in python-send-command
  (add-hook 'sage-startup-before-prompt-hook (lambda () 
 (compilation-minor-mode 1)))

 which initializes a hash table needed by compilation-mode, to my .emacs.

 Now, after 'M-x sage' *SAGE-main* pops-up properly but i still get:

  comint-redirect-send-command-to-process: No prompt found or
  `comint-prompt-regexp' not set properly

 but comint-prompt-regexp local value for buffer *SAGE-main* is:

  
 ^\\(?:\\(?:\\(?:(\\(?:[Pg]db)\\)\\|\\.\\.\\.\\(?:\\.\\.\\)?\\|\\|ipdb\\|sage:\\)\\)
  
 \\)+

 Here is a portion of my .emacs:

  sage-mode
 ;;; https://bitbucket.org/ncalexan/sage-mode
 ;;; http://wiki.sagemath.org/sage-mode
 ;;(add-to-list 'load-path /usr/local/share/sage/data/emacs)
 (add-to-list 'load-path /usr/local/src/sage/sage-mode/emacs)
 (require 'sage)
 (setq sage-command /usr/local/share/sage/sage)

 ;; If you want sage-view to typeset all your output and have plot()
 ;; commands inline, uncomment the following line and configure sage-view:
 (autoload 'sage-view sage-view  t)

 ;; (add-hook 'sage-startup-before-prompt-hook
 ;;   (lambda ()
 ;; (set (make-local-variable 'compilation-locs)
 ;;  (make-hash-table :test 'equal :weakness 'value

 ;; (remove-hook 'sage-startup-before-prompt-hook 
 'sage-send-startup-before-prompt-command)

 (add-hook 'inferior-sage-mode-hook
   (function
(lambda ()
  ;;(setq comint-redirect-perform-sanity-check t)
  (sage-view)
  ;; (sage-view-enable-inline-output)
  ;; (sage-view-enable-inline-plots)
  )))

 ;;; hack to avoid error in python-send-command
 (add-hook 'sage-startup-before-prompt-hook
(lambda () (compilation-minor-mode 1)))
   
 (add-hook 'sage-mode-hook
   '(lambda () ; taken from 
 http://www.cs.caltech.edu/courses/cs11/material/python/misc/python_style_guide.html#TABS
  (set-variable 'py-indent-offset 4)
  (set-variable 'py-smart-indentation nil)
  (set-variable 'indent-tabs-mode nil)))

 Thank you

 -- 
 Ezequiel Birman



-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: inferior sage in emacs, bug?

2012-04-24 Thread syd.lavas...@gmail.com
sage-update-autoloads also did not solve my problem, but with the hack of 
Ezequiel

   ;;; hack to avoid error in python-send-command
 (add-hook 'sage-startup-before-prompt-

hook (lambda () (compilation-minor-mode 1)))

it works fine. It could be emacs 24 thing.


בתאריך יום שלישי, 24 באפריל 2012 08:27:29 UTC-6, מאת syd.la...@gmail.com:

 I confirm I getting the same bug, in emacs 24, sage 5, getting

 Wrong type argument: hash-table-p, nil

 buffer *SAGE-main* is in commint-run mode. No inferior-sage-mode.

 I have to run inferior-sage-mode, manually.

 I have installed sage-mode-0.6 and sage-mode-0.7 directly from sage website
 I also checked Ivan's sage_mode-0.8. The error is persistant in all 
 version.

 בתאריך יום שלישי, 10 באפריל 2012 15:38:54 UTC-6, מאת Ezequiel Birman:

 Are sage-mode inferior-sage-mode and sage-view still supported?

 I (kind of) managed to get an Inferior Sage. Is there a way to eval last
 expresion in sage-mode instead of the whole buffer (C-c C-r)?

 I am using latest sage (4.8) and sage-mode cloned from mercurial
 repo.  (by the way, I've built and installed sage-mode python packages in
 the default location: /usr/lib/python2.7/site-packages/ Should I move
 them under the sage dir hierarchy? ie. overwrite the old python packages
 installed by sage 4.8?)

 After 'M-x sage' i got this error:

  compilation-forget-errors: Wrong type argument: hash-table-p, nil

 and buffer *SAGE-main* is in commint-run mode. No inferior-sage-mode.

 The problem seems to lie in python-send-command. I'm not quite sure, but
 i've added

  ;;; hack to avoid error in python-send-command
  (add-hook 'sage-startup-before-prompt-hook (lambda () 
 (compilation-minor-mode 1)))

 which initializes a hash table needed by compilation-mode, to my .emacs.

 Now, after 'M-x sage' *SAGE-main* pops-up properly but i still get:

  comint-redirect-send-command-to-process: No prompt found or
  `comint-prompt-regexp' not set properly

 but comint-prompt-regexp local value for buffer *SAGE-main* is:

  
 ^\\(?:\\(?:\\(?:(\\(?:[Pg]db)\\)\\|\\.\\.\\.\\(?:\\.\\.\\)?\\|\\|ipdb\\|sage:\\)\\)
  
 \\)+

 Here is a portion of my .emacs:

  sage-mode
 ;;; https://bitbucket.org/ncalexan/sage-mode
 ;;; http://wiki.sagemath.org/sage-mode
 ;;(add-to-list 'load-path /usr/local/share/sage/data/emacs)
 (add-to-list 'load-path /usr/local/src/sage/sage-mode/emacs)
 (require 'sage)
 (setq sage-command /usr/local/share/sage/sage)

 ;; If you want sage-view to typeset all your output and have plot()
 ;; commands inline, uncomment the following line and configure sage-view:
 (autoload 'sage-view sage-view  t)

 ;; (add-hook 'sage-startup-before-prompt-hook
 ;;   (lambda ()
 ;; (set (make-local-variable 'compilation-locs)
 ;;  (make-hash-table :test 'equal :weakness 'value

 ;; (remove-hook 'sage-startup-before-prompt-hook 
 'sage-send-startup-before-prompt-command)

 (add-hook 'inferior-sage-mode-hook
   (function
(lambda ()
  ;;(setq comint-redirect-perform-sanity-check t)
  (sage-view)
  ;; (sage-view-enable-inline-output)
  ;; (sage-view-enable-inline-plots)
  )))

 ;;; hack to avoid error in python-send-command
 (add-hook 'sage-startup-before-prompt-hook
(lambda () (compilation-minor-mode 1)))
   
 (add-hook 'sage-mode-hook
   '(lambda () ; taken from 
 http://www.cs.caltech.edu/courses/cs11/material/python/misc/python_style_guide.html#TABS
  (set-variable 'py-indent-offset 4)
  (set-variable 'py-smart-indentation nil)
  (set-variable 'indent-tabs-mode nil)))

 Thank you

 -- 
 Ezequiel Birman



-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Is 2/(2*X) desirable

2012-04-14 Thread syd.lavas...@gmail.com
In the following code:

sage: R.X = QQ[]
sage: 2/(2*X)
2/(2*X)

Is there a case against simplifying 2/(2*X) to 1/X? If it is a bug, it 
seems to me that we need a new set of non_monic_gcd functions for all 
ring element classes that uses generic reduction (or is there a less 
invasive solution?). On the other hand, If there's such a case against that 
simplification (speed, no need to simplify, why does it matter, etc) please 
enlighten me as well, because It's making my function field computations, 
exponentialy slower, as my fractions grow into scary objects as time passes.

Thanks.
Syd

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] a bug in function fields over fraction field: no cancelation

2012-04-01 Thread syd.lavas...@gmail.com
I'm working on this but I thought maybe someone like William who wrote the 
function field module knows the fix immidiately:

sage: k = FiniteField(13)
kA.a = PolynomialRing(k)
ka = kA.fraction_field()
kx.x = FunctionField(ka)

sage: ka(2)/ka(2)
1
sage: kx(2)/kx(2)
2/2

It makes some functions that clear denominator, delussional.

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: a bug in fraction fields over fraction field: no cancelation

2012-04-01 Thread syd.lavas...@gmail.com
Okay it has nothing to do with function fields, is just that function field 
passes the computation to fraction_field:

sage: k = FiniteField(nicePrime)
kA.a = PolynomialRing(k)
ka = kA.fraction_field()
kaX.X = PolynomialRing(ka)
kax = kaX.fraction_field()
sage: kax
Fraction Field of Univariate Polynomial Ring in X over Fraction Field of 
Univariate Polynomial Ring in a over Finite Field of size 13
sage: kax(2)/kax(2)
2/2
sage: ka(2)/ka(2)
1



בתאריך יום ראשון, 1 באפריל 2012 20:25:45 UTC-6, מאת syd.la...@gmail.com:

 I'm working on this but I thought maybe someone like William who wrote the 
 function field module knows the fix immidiately:

 sage: k = FiniteField(13)
 kA.a = PolynomialRing(k)
 ka = kA.fraction_field()
 kx.x = FunctionField(ka)

 sage: ka(2)/ka(2)
 1
 sage: kx(2)/kx(2)
 2/2

 It makes some functions that clear denominator, delussional.



-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] [SOLVED] Re: Sage 4.8 build failed: Error: Failed to build Maxima as an ECL library.

2012-03-15 Thread syd.lavas...@gmail.com
Wasn't a compiler problem. I built gcc 4.6.3 at my home directory and 
rebuilt sage. The problem persisted. 

The problem is very similar to what Dmitrii described here:

https://groups.google.com/forum/?fromgroups#!msg/sage-devel/Gj3cbdcPqKo/ROV39CTFbI4J

The problem is that my home directory is:

/files3/home/sahosse/

but I only have execution permission to the directory home: 

[sahosse@msx0 ~]$ ls -ld /files3/home
drwx--x--x 192 root msstaff 4096 Feb 15 13:23 /files3/home
[sahosse@msx0 ~]$ ls -l /files3/home
ls: /files3/home: Permission denied

Off course I have access to my home directory but (directory) function of 
ecl always return NIL as long as home appears in the path of the 
requested directory, which means it fails on my entire home directory:

[sahosse@msx0 ~]$ ~/sage/local/bin/ecl
ECL (Embeddable Common-Lisp) 11.1.1 (git:UNKNOWN)
Copyright (C) 1984 Taiichi Yuasa and Masami Hagiya
Copyright (C) 1993 Giuseppe Attardi
Copyright (C) 2000 Juan J. Garcia-Ripoll
ECL is free software, and you are welcome to redistribute it
under certain conditions; see file 'Copyright' for details.
Type :h for Help.  
Top level.
 (directory /*)

(#P/.autorelabel #P/.autofsck #P/.rnd)
 (directory /files3/*)

NIL
 (directory /files3/home/sahosse/*)

NIL
 (directory /tmp/maxima-5.23.2.p3/*)

(#P/tmp/maxima-5.23.2.p3/spkg-install~ 
#P/tmp/maxima-5.23.2.p3/spkg-install
 #P/tmp/maxima-5.23.2.p3/.hgtags #P/tmp/maxima-5.23.2.p3/.hgignore
 #P/tmp/maxima-5.23.2.p3/spkg-dist)

So, for the ecl step of maxima to be successful, I copied the maxima 
package directory to /tmp , run the rest of the script there, then 
commented Maxima out from the install script in spkg:

Build finished.  The built documents can be found in 
/files3/home/sahosse/sage/devel/sage/doc/output/html/ru/tutorial
[sahosse@msx0 sage]$ sage
--
| Sage Version 4.8, Release Date: 2012-01-20 |
| Type notebook() for the GUI, and license() for information.|
--
sage: maxima(1+1)
2

This is a bug of ecl and they need to fix it. It seems to me a poor 
implementation of directory function that can not handle such a common 
permission situation. I do not know how to report bug to ecl, but if sb 
knows please do. It is easily reproducible and I checked and it persists in 
the latest stable (12.2.1).

בתאריך יום שני, 5 במרס 2012 20:31:20 UTC-7, מאת Dima Pasechnik:

 Well, I don't see what goes wrong there (except that the compiler you 
 use is so outdated that surely Sage is not tested with it --- version 
 alone does not say this, as the same version on MacOSX is a different 
 beast). You mention people talking about this error on Lion. 
 Any links to any posts/forums on this? 

 I guess it is an ECL bug (or feature :)). I'll cc'in this to the ECL 
 list, just in case they are aware of these issues. 



 On Mar 5, 1:26 pm, syd.lavas...@gmail.com syd.lavas...@gmail.com 
 wrote: 
  Hello Dmitrii, 
  
  Thank you very much for looking to my case. 
  
  I have uploaded it here, good luck with this 90Mb file: 
  
  http://payamban.com/install.log 
  
  Moreover, maybe this information is also useful: 
  
  ~/sage $ cat /etc/redhat-release 
  Red Hat Enterprise Linux Server release 5.8 (Tikanga) 
  ~/sage $ gcc --version 
  gcc (GCC) 4.1.2 20080704 (Red Hat 4.1.2-52) 
  Copyright (C) 2006 Free Software Foundation, Inc. 
  This is free software; see the source for copying conditions.  There is 
 NO 
  warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR 
 PURPOSE. 
  
  Thank you very much. 
  
  Cheers, 
  Syd 
  
  בתאריך יום שישי, 2 במרס 2012 19:43:14 UTC-7, מאת Dima Pasechnik: 
  
  
  
  
  
  
  
  
  
   Please make sure to follow this part of the instruction: 
  
   and including the relevant part of the log file 
 /files3/home/sahosse/sage/spkg/logs/maxima-5.23.2.p3.log 
   Describe your computer, operating system, etc.  
  
   All one can see from your report so far that your Linux kernel is kind 
   of old. We do not see at all what e.g. your compiler is, or what 
   flavour of Linux you're running. 
  
   Could you perhaps upload the complete install.log somewhere and post a 
   link to it here? 
   Thanks, 
   Dmitrii 
  
   On Mar 2, 5:03 pm, syd.lavas...@gmail.com syd.lavas...@gmail.com 
   wrote: 
Hi there, 
  
I saw people talking about this error on Lion. But this machine is 
linux, so it might be a new error. 
  
uname - a 
Linux msx0 2.6.18-274.12.1.el5 #1 SMP Tue Nov 8 21:37:35 EST 2011 
x86_64 x86_64 x86_64 GNU/Linux 
  
Error Log: 
;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0 
;;; 
;;; End of Pass 1. 
;;; Note: 
;;;   Invoking external command: 
;;;   gcc -I. -I/files3/home/sahosse/sage/local/include/ -I/files3/ 
home/sahosse/sage/local/include -I/files3/home/sahosse/sage/local/ 
include

[sage-devel] Re: Sage 4.8 build failed: Error: Failed to build Maxima as an ECL library.

2012-03-04 Thread syd.lavas...@gmail.com
Hello Dmitrii,

Thank you very much for looking to my case.

I have uploaded it here, good luck with this 90Mb file:

http://payamban.com/install.log

Moreover, maybe this information is also useful:

~/sage $ cat /etc/redhat-release
Red Hat Enterprise Linux Server release 5.8 (Tikanga)
~/sage $ gcc --version
gcc (GCC) 4.1.2 20080704 (Red Hat 4.1.2-52)
Copyright (C) 2006 Free Software Foundation, Inc.
This is free software; see the source for copying conditions.  There is NO
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.

Thank you very much.

Cheers,
Syd

בתאריך יום שישי, 2 במרס 2012 19:43:14 UTC-7, מאת Dima Pasechnik:

 Please make sure to follow this part of the instruction: 

 and including the relevant part of the log file 
   /files3/home/sahosse/sage/spkg/logs/maxima-5.23.2.p3.log 
 Describe your computer, operating system, etc.  

 All one can see from your report so far that your Linux kernel is kind 
 of old. We do not see at all what e.g. your compiler is, or what 
 flavour of Linux you're running. 

 Could you perhaps upload the complete install.log somewhere and post a 
 link to it here? 
 Thanks, 
 Dmitrii 

 On Mar 2, 5:03 pm, syd.lavas...@gmail.com syd.lavas...@gmail.com 
 wrote: 
  Hi there, 
  
  I saw people talking about this error on Lion. But this machine is 
  linux, so it might be a new error. 
  
  uname - a 
  Linux msx0 2.6.18-274.12.1.el5 #1 SMP Tue Nov 8 21:37:35 EST 2011 
  x86_64 x86_64 x86_64 GNU/Linux 
  
  Error Log: 
  ;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0 
  ;;; 
  ;;; End of Pass 1. 
  ;;; Note: 
  ;;;   Invoking external command: 
  ;;;   gcc -I. -I/files3/home/sahosse/sage/local/include/ -I/files3/ 
  home/sahosse/sage/local/include -I/files3/home/sahosse/sage/local/ 
  include -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64 -g -O2 -fPIC -Dlinux -O2 - 
  w -c /tmp/ecl001ff18EH.c -o /tmp/ecl001ff18EH.o 
  An error occurred during initialization: 
  Component maxima not found. 
  ;;; Note: 
  ;;;   Invoking external command: 
  ;;;   gcc -o /tmp/ecl001ff18EH.fas -L/files3/home/sahosse/sage/local/ 
  lib/ /tmp/ecl001ff18EH.o -Wl,--rpath,/files3/home/sahosse/sage/local/ 
  lib/ -shared -L/files3/home/sahosse/sage/local/lib -L/files3/home/ 
  sahosse/sage/local/lib -Wl,--rpath,/files3/home/sahosse/sage/local/lib 
  -L/files3/home/sahosse/sage/local/lib -lecl -lgmp -lgc -ldl -lm 
  *** 
  Error: Failed to build Maxima as an ECL library. 
  *** 
  
  real3m59.112s 
  user3m22.988s 
  sys 0m28.888s 
   
  Error installing package maxima-5.23.2.p3 
   
  Please email sage-devel (http://groups.google.com/group/sage-devel) 
  explaining the problem and including the relevant part of the log file 
/files3/home/sahosse/sage/spkg/logs/maxima-5.23.2.p3.log 
  Describe your computer, operating system, etc. 
  If you want to try to fix the problem yourself, *don't* just cd to 
  /files3/home/sahosse/sage/spkg/build/maxima-5.23.2.p3 and type 'make' 
  or whatever is appropriate. 
  Instead, the following commands setup all environment variables 
  correctly and load a subshell for you to debug the error: 
(cd '/files3/home/sahosse/sage/spkg/build/maxima-5.23.2.p3'  '/ 
  files3/home/sahosse/sage/sage' -sh) 
  When you are done debugging, you can type exit to leave the 
  subshell. 
   
  make[1]: *** [installed/maxima-5.23.2.p3] Error 1 
  make[1]: Leaving directory `/files3/home/sahosse/sage/spkg' 
  
  real4m6.986s 
  user3m30.353s 
  sys 0m31.555s 
  Error building Sage. 
  make: *** [build] Error 1 
  
  P.S. I don't have root access to this machine

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: Sage 4.8 build failed: Error: Failed to build Maxima as an ECL library.

2012-03-02 Thread syd.lavas...@gmail.com
The error is because asdf can not see maxima.asd although it's in the
current directory. So I added this line before the call to asdf to
make maxima:

-eval '(push /files3/home/sahosse/sage/spkg/build/maxima-5.23.2.p3/
src/src/ asdf:*central-registry*)' \
-eval '(asdf:make-build :maxima :type :fasl :move-here .)' \

and now I get this error:

;;; Loading /files3/home/sahosse/sage/spkg/build/maxima-5.23.2.p3/src/
src/maxima.asd
An error occurred during initialization:
In function PATHNAME, the value of the only argument is
  NIL
which is not of the expected type (OR FILE-STREAM STRING PATHNAME).

I hope that helps in spotting the problem.

On Mar 2, 2:03 am, syd.lavas...@gmail.com syd.lavas...@gmail.com
wrote:
 Hi there,

 I saw people talking about thiserroron Lion. But this machine is
 linux, so it might be a newerror.

 uname - a
 Linux msx0 2.6.18-274.12.1.el5 #1 SMP Tue Nov 8 21:37:35 EST 2011
 x86_64 x86_64 x86_64 GNU/Linux

 ErrorLog:
 ;;; OPTIMIZE levels: Safety=2, Space=0, Speed=3, Debug=0
 ;;;
 ;;; End of Pass 1.
 ;;; Note:
 ;;;   Invoking external command:
 ;;;   gcc -I. -I/files3/home/sahosse/sage/local/include/ -I/files3/
 home/sahosse/sage/local/include -I/files3/home/sahosse/sage/local/
 include -D_GNU_SOURCE -D_FILE_OFFSET_BITS=64 -g -O2 -fPIC -Dlinux -O2 -
 w -c /tmp/ecl001ff18EH.c -o /tmp/ecl001ff18EH.o
 Anerroroccurred during initialization:
 Component maxima not found.
 ;;; Note:
 ;;;   Invoking external command:
 ;;;   gcc -o /tmp/ecl001ff18EH.fas -L/files3/home/sahosse/sage/local/
 lib/ /tmp/ecl001ff18EH.o -Wl,--rpath,/files3/home/sahosse/sage/local/
 lib/ -shared -L/files3/home/sahosse/sage/local/lib -L/files3/home/
 sahosse/sage/local/lib -Wl,--rpath,/files3/home/sahosse/sage/local/lib
 -L/files3/home/sahosse/sage/local/lib -lecl -lgmp -lgc -ldl -lm
 ***Error:FailedtobuildMaximaas
  anECLlibrary.
 ***

 real    3m59.112s
 user    3m22.988s
 sys     0m28.888s
 Errorinstalling
  packagemaxima-5.23.2.p3
 
 Please email sage-devel (http://groups.google.com/group/sage-devel)
 explaining the problem and including the relevant part of the log file
   /files3/home/sahosse/sage/spkg/logs/maxima-5.23.2.p3.log
 Describe your computer, operating system, etc.
 If you want to try to fix the problem yourself, *don't* just cd to
 /files3/home/sahosse/sage/spkg/build/maxima-5.23.2.p3 and type 'make'
 or whatever is appropriate.
 Instead, the following commands setup all environment variables
 correctly and load a subshell for you to debug theerror:
   (cd '/files3/home/sahosse/sage/spkg/build/maxima-5.23.2.p3'  '/
 files3/home/sahosse/sage/sage' -sh)
 When you are done debugging, you can type exit to leave the
 subshell.
 
 make[1]: *** [installed/maxima-5.23.2.p3]Error1
 make[1]: Leaving directory `/files3/home/sahosse/sage/spkg'

 real    4m6.986s
 user    3m30.353s
 sys     0m31.555sErrorbuilding Sage.
 make: *** [build]Error1

 P.S. I don't have root access to this machine

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: Using singular quotient ring for defining _singular_() object

2012-01-25 Thread syd.lavas...@gmail.com
So I guess everybody found this issue a non-issue. However, this for
example makes it possible to compute the genus of a function field
that is defined over a non-prime finite field
(genus currently uses singular)

I take the silence as a 'go ahead'. I'll add this to the patch of
http://trac.sagemath.org/sage_trac/ticket/12170

On 23 ינואר, 02:32, syd.lavas...@gmail.com syd.lavas...@gmail.com
wrote:
 In current version of sage you can not have a singular object for k(a)
 [x] when k is a non-prime finite field and a is transcendental. This
 is because singular does not support defining such rings explicitly,
 while if k was prime we had no problem.

 I don't know what the developers of singular were thinking, but
 probably the fundamental solution is to change the singular code. But
 meanwhile, one can define
 prime_field(k)(a)[t,x]
 and then quotient it with p(t) with minimal polynomial of the field
 extension.

 This helps the user to use lots of functions, as elementary as lcm,
 which are depending on Singular.

 I have written the code, if everybody is happy with this short-cut
 solution, I can go ahead an put the code on the trac

 Cheers,
 Syd

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] How can I delete the patch files that I add to a ticket

2012-01-25 Thread syd.lavas...@gmail.com
It might be a trivial question but I merged two patch files that
uploaded previously but I couldn't delete the old files here:

http://trac.sagemath.org/sage_trac/ticket/12170

Sorry if it's trivial question

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] How can I delete the patch files that I add to a ticket

2012-01-25 Thread syd.lavas...@gmail.com
It might be a trivial question but I merged two patch files that
uploaded previously but I couldn't delete the old files here:

http://trac.sagemath.org/sage_trac/ticket/12170

Sorry if it's trivial question

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Using singular quotient ring for defining _singular_() object

2012-01-23 Thread syd.lavas...@gmail.com
In current version of sage you can not have a singular object for k(a)
[x] when k is a non-prime finite field and a is transcendental. This
is because singular does not support defining such rings explicitly,
while if k was prime we had no problem.

I don't know what the developers of singular were thinking, but
probably the fundamental solution is to change the singular code. But
meanwhile, one can define
prime_field(k)(a)[t,x]
and then quotient it with p(t) with minimal polynomial of the field
extension.

This helps the user to use lots of functions, as elementary as lcm,
which are depending on Singular.

I have written the code, if everybody is happy with this short-cut
solution, I can go ahead an put the code on the trac

Cheers,
Syd

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: genus() for Function Fields

2011-12-21 Thread syd.lavas...@gmail.com
Hi Maarten,

I see this in Florian Hess's codes

###
# Genus

GffDifferentDeg := function(K)
   local of, oi, df, di;
   of := GffOrderMaxFinite(K);
   oi := GffOrderMaxInfty(K);
   df := GffOrderDisc(of);
   di := GffOrderDisc(oi);

   return (PolyDeg(df) + InftyVal(di))/GffDimExactConstField(K);
end;


#GffGenus := function(K)
#   local d, dim, n;
#
#   n := GffDeg(K);
#   dim := 1;
#   d := GffDifferentDeg(K);
#
#   return d/2 - n/dim + 1;
#end;

Which basically uses Riemann-Hurwitz to compute the Genus. But I don't
think it's the fastest way to do it. I think analyzing the
singularities is faster than analyzing the ramification. (It might be
the reason that he commented GffGenus out)

Anyway, I sent him an email and asked him about his opinion.

First: I couldn't find the implementation for GffOrde... functions.
On 17 דצמבר, 04:12, Maarten Derickx m.derickx.stud...@gmail.com
wrote:
 It'shttp://trac.sagemath.org/sage_trac/ticket/12170.

 For Florian Hess ideas see my post 
 inhttps://groups.google.com/forum/#!searchin/sage-devel/function$20fiel...
 of wich you are probably already aware.

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Rational Extension Representation for function fields

2011-12-20 Thread syd.lavas...@gmail.com
I think it is essential (speaking priority) to have a parallel to
Magam


RationalExtensionRepresentation(F) : FldFunG - FldFun

The function field F represented as an extension of a rational
function field. This function gives the representation of function
fields F/k as finite extensions.

 This basically collapses the extension tower to one extension. It
significantly speeds up any computation which happens at the top of
the tower. If sage has such a method for number fields, it should be
fairly straight forward to  recycle for the function field class. Does
anybody knows if we have such a method for number fields?

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: Rational Extension Representation for function fields

2011-12-20 Thread syd.lavas...@gmail.com
Thanks Julian,

Looking forward to compute with your codes

:)

On 20 דצמבר, 02:20, Julian Rüth julian.ru...@fsfe.org wrote:
 I already have some code that does that for function fields. I just have
 not turned it into a sage patch yet. I'll CC you on the ticket for this.

 julian

 * syd.lavas...@gmail.com syd.lavas...@gmail.com [2011-12-20 00:59:53 -0800]:







  I think it is essential (speaking priority) to have a parallel to
  Magam

  
  RationalExtensionRepresentation(F) : FldFunG - FldFun

  The function field F represented as an extension of a rational
  function field. This function gives the representation of function
  fields F/k as finite extensions.
  
   This basically collapses the extension tower to one extension. It
  significantly speeds up any computation which happens at the top of
  the tower. If sage has such a method for number fields, it should be
  fairly straight forward to  recycle for the function field class. Does
  anybody knows if we have such a method for number fields?

  --
  To post to this group, send an email to sage-devel@googlegroups.com
  To unsubscribe from this group, send an email to 
  sage-devel+unsubscr...@googlegroups.com
  For more options, visit this group 
  athttp://groups.google.com/group/sage-devel
  URL:http://www.sagemath.org

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: genus() for Function Fields

2011-12-16 Thread syd.lavas...@gmail.com
Hi William,

Thank you for you advices. I wrote the wrapper and submitted it. I
also checked the singular's code briefly. It seems that fundamentally
the same as the one I cited in counting singularities. I'm going to
contatct Florian Hess to ask him about the best algorithm.

On Dec 14, 12:34 am, William Stein wst...@gmail.com wrote:
 On Tue, Dec 13, 2011 at 3:57 PM, syd.lavas...@gmail.com

 syd.lavas...@gmail.com wrote:
  AFAIK, currently the function field object can not compute itsgenus
  (see below). I'm thinking about adding this feature in following few
  days. Now, there are two different approaches I can take, and I would
  like to know which one is more desirable for Sage community:

  1. Sage can use singular to compute thegenus, so we can write
  (essentially) a wrapper which compute thegenusand make it a member
  of the function field class.

 What function field object are you talking about?    Do you mean the code at

    http://trac.sagemath.org/sage_trac/ticket/9054

 which isn't included in any version of Sage yet, but has a positive review?



  2. To implement the algorithm (for example the one in [1]) from
  scratch.

  Please, tell me which one is the more desirable approach. If anybody
  has any comment or has already the implementation please bring it up
  in the discussion.

 I think one should of course at a minimum do 1 (wrap singular),
 because it will be easy.  Then do 2 as well, if you can -- and make it
 easy to compare 1 and 2 on many inputs, so you can find lots of bugs
 in both.  Also do 3, which is to implement whatever algorithm Florian
 Hess suggests, which might be different than 1 or 2.

  -- William







  [1] Sendra, J. R. and Winkler, F. and Pérez-Díaz, S., Rational
  Algebraic Curves - A Computer Algebra Approach, Springer, 2007.

  sage: kx.x = FunctionField(QQ)
  sage: kxY.Y = PolynomialRing(kx, 'Y')
  sage: kxy.y = kx.extension(Y^2 - x^5 -1)
  sage: kxy
  Function field in y defined by Y^2 - x^5 - 1
  sage: kxy.genus()
  ---
  AttributeError                            Traceback (most recent call
  last)

  /home/syd/Documents/RecherchePhD/Codes/sage/GrbBasis/ipython console
  in module()

  /home/syd/Programmes/sage-4.7.2/local/lib/python2.6/site-packages/sage/
  structure/parent.so in sage.structure.parent.Parent.__getattr__ (sage/
  structure/parent.c:6260)()

  /home/syd/Programmes/sage-4.7.2/local/lib/python2.6/site-packages/sage/
  structure/parent.so in sage.structure.parent.getattr_from_other_class
  (sage/structure/parent.c:3110)()

  AttributeError: 'FunctionField_polymod_with_category' object has no
  attribute 'genus'
  sage:

  --
  To post to this group, send an email to sage-devel@googlegroups.com
  To unsubscribe from this group, send an email to 
  sage-devel+unsubscr...@googlegroups.com
  For more options, visit this group 
  athttp://groups.google.com/group/sage-devel
  URL:http://www.sagemath.org

 --
 William Stein
 Professor of Mathematics
 University of Washingtonhttp://wstein.org

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] genus() for Function Fields

2011-12-13 Thread syd.lavas...@gmail.com
AFAIK, currently the function field object can not compute its genus
(see below). I'm thinking about adding this feature in following few
days. Now, there are two different approaches I can take, and I would
like to know which one is more desirable for Sage community:

1. Sage can use singular to compute the genus, so we can write
(essentially) a wrapper which compute the genus and make it a member
of the function field class.

2. To implement the algorithm (for example the one in [1]) from
scratch.

Please, tell me which one is the more desirable approach. If anybody
has any comment or has already the implementation please bring it up
in the discussion.

[1] Sendra, J. R. and Winkler, F. and Pérez-Díaz, S., Rational
Algebraic Curves - A Computer Algebra Approach, Springer, 2007.

sage: kx.x = FunctionField(QQ)
sage: kxY.Y = PolynomialRing(kx, 'Y')
sage: kxy.y = kx.extension(Y^2 - x^5 -1)
sage: kxy
Function field in y defined by Y^2 - x^5 - 1
sage: kxy.genus()
---
AttributeErrorTraceback (most recent call
last)

/home/syd/Documents/RecherchePhD/Codes/sage/GrbBasis/ipython console
in module()

/home/syd/Programmes/sage-4.7.2/local/lib/python2.6/site-packages/sage/
structure/parent.so in sage.structure.parent.Parent.__getattr__ (sage/
structure/parent.c:6260)()

/home/syd/Programmes/sage-4.7.2/local/lib/python2.6/site-packages/sage/
structure/parent.so in sage.structure.parent.getattr_from_other_class
(sage/structure/parent.c:3110)()

AttributeError: 'FunctionField_polymod_with_category' object has no
attribute 'genus'
sage:

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] solve_right's behavior on singular matrices

2011-11-22 Thread syd.lavas...@gmail.com
Hi there,

I was looking at solve_right. And as much as I understand if the
system has infinitely many solutions it just generates a random
solution (with free vars = 0). Doesn't it make more sense that it
gives back a matrix :
[C0 C1 C2 ..] such that X = C0 + C1*t1 + C2*t2 + ... be a solution to
the system. I mean who needs a random solution?

On the other hand, as much as I dug into to the documents, sage
doesn't have a function that take matrix A and columnar vector B and
gives the parametric solution for singular systems. I know it's easy
to compute using the echelon_form but considering how often it is
used, it deserves a dedicated function. And solve_right seems the
right function.

Also, I saw that 'solve' uses Maxima to solve a linear system. But
entering the equations in solve isn't as easy as entering the
coefficient matrix.

Should I start a ticket on solve_right to behave differently in the
case of singular matrices? It will be somehow backward compatible as
the first column is a solution to the system. Or should we give it a
different name.

Cheers,
Syd

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: The status of function field development

2011-11-16 Thread syd.lavas...@gmail.com
Hi Julian,

Thank you very much for your reply. If you put the isomorphisms codes
available, it will probably helps me a lot. I don't know about the
iterated extensions, but when I wanted to write GHS attack related
code for my Masters back in 2008 I started with sage  and I used the
field of fraction of the coordinate ring approach. For that I needed
to build a tower of degree 2 extensions, but sage told me that after I
extended my  rational field, I reached the end of the road, basically
I couldn't extend
a non rational function field. That was the time that I was sold to
Magma.

And thank you for telling me about IRC. I'll probably bug you pretty
soon there.

Cheers,
Syd

On 16 נובמבר, 09:04, Julian Rüth julian.ru...@fsfe.org wrote:
 Hi Syd,

 * Jeroen Demeyer jdeme...@cage.ugent.be [2011-11-16 14:36:24 +0100]: On 
 2011-11-16 09:12, syd.lavas...@gmail.com wrote:
   (Should I write directly to William Stein).
  Probably not, sage-devel is the right place to ask.  Or also, the
  comment section onhttp://trac.sagemath.org/sage_trac/ticket/9054

 I'm not sure if this could be relevant to you, but I use a number of
 (dirty) patches related to iterated extensions and isomorphisms of
 function fields. Now that #9054 seems to be stable I should probably
 turn these into actual tickets...I might do so in the next few days and
 add pointers to them at #9054.
 I never used magma so I don't know what their function fields can do, but
 if you have any specific questions or stumble on any problems feel free
 to contact me (saraedum) in the #sagemath IRC channel.
 (http://www.sagemath.org/help-irc.html)

 cheers,
 julian

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: The status of function field development

2011-11-16 Thread syd.lavas...@gmail.com
Hi Maarten,

Thank you for the link. It was the thing I was looking for. I have
read Hess's paper on his algorithm for computing basis for Riemann-
Roch space . I'm pretty happy to start working on it , once I went
through your code and see what we have available at hand.

Also for my research I was thinking about implementing some of the
algorithms when the minimal polynomial or the curve equation is given
parametrically. This is something that Maple is good at it but I don't
think Magma support anything of that kind. For example I once I
roughly went through the algorithms in RR paper of Hess and I saw no
serious obstacle in all necessary algorithms if the curve equation is
given parametrically (for example you can still do ideal reduction,
etc basically if you don't solve non-linear equation then probably it
should work).

Anyways, I'm going to delve into the patch and I'll get back to you
with question.

Cheers,
Syd

P.S. I think I reported the thread by mistake as offensive or
something and I can't undo what I did. I just wanted to make it clear
that I don't usually get offended by a discussion on function
fields ;)

On 16 נובמבר, 09:12, Maarten Derickx m.derickx.stud...@gmail.com
wrote:
 Dear Syd,

 As one of the active participants on that ticket. I can probably also help
 out, I would like it if you add me as a CC to future posts about this
 subject on sage-devel (which I think is where you should ask future
 questions).
 Very nice that you want to get started implementing more function field
 stuff in sage! The best overview of what we want to get done is probably on
 [1]. A lot of the more basic things over there have already been
 implemented, so now it is time to start on the more interesting algorithms
 (divisor reduction, and the computation of riemann-roch spaces and picard
 groups). These things can already be computed in magma, but not yet in sage
 sadly enough. A good point to start reading about the different algorithms
 wich still need to get implemented are the paper and slides of Florian Hess
 on [1].

 [1]http://wiki.sagemath.org/daysff/curves

 ps. Jeroen

 The dependency on 9138 is a very trivial one. A while ago Julian and I
 expected that 9138 would be merged before this ticket so we based our
 patches on this one. It would be zero effort to rebase the patches without
 9138 (i.e. change 'something_with_category'  to  'something'  in some
 doctests). So this could be changed. But I rather put effort in reviewing
 11900 instead of rebasing patches the next time I have time to work on sage.

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Re: The status of function field development

2011-11-16 Thread syd.lavas...@gmail.com
Sorry, for the spam threat. I just wanted to target somebody on the
ticket team and I wasn't sure:

 1) how sage-devel is effective for that
 2) how responsive other members are.
 3) If I'm boring people on the list with n'importe quoi.

But apparently it worked pretty well in all directions.

Bests,
Syd

P.S. I started compiling sage this afternoon and it's still (8:30pm)
going on, apparently the 14 days wasn't joke. I hope I have sage on
my computer before Christmas ;)

On 16 נובמבר, 10:25, William Stein wst...@gmail.com wrote:
 [...]

  (Should I write directly to William Stein).
  Probably not, sage-devel is the right place to ask.  Or also, the
  comment section onhttp://trac.sagemath.org/sage_trac/ticket/9054
  Jeroen.

 Correct.  I read every sage-* mailing lists and all trac notifications.

 I prefer that as much as possible all email discussions that I have
 related to Sage be on a public archived mailing list.

  -- William

-- 
To post to this group, send an email to sage-devel@googlegroups.com
To unsubscribe from this group, send an email to 
sage-devel+unsubscr...@googlegroups.com
For more options, visit this group at http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org