[sage-combinat-devel] trac 12339, please review

2012-04-27 Thread 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

[sage-combinat-devel] help wanted with braid groups

2012-06-07 Thread mmarco
I have been working on an implementation of braid groups for sage (together with free and finitely presented groups). So far i have a preliminary version (see ticket #12339). It is still not feature complete and also very slow compared to cbraid[1], for example, but it is usable. In order to

[sage-combinat-devel] Re: How to solve this combinatorial problem in Sage?

2013-04-21 Thread mmarco
Maybe i am saying something stupid (i am used to geometric reasoning in infinite fields, so maybe i am missing something important in this setting) but, wouldn't a random linear combination of the rows of your matrix have a high probability of having all the entries different from zero? The

[sage-combinat-devel] Re: redesign combinatorial statistics

2014-05-28 Thread mmarco
A slightly unrelated problem: Would it be possible to include the findstat functionality in sage? That is, i have a bunch of pairs (permutation, number), then call the function findtsta on them, and get a list of possible ways that the numbers can me computed from the permutations. All inside

Re: [sage-combinat-devel] Re: redesign combinatorial statistics

2014-05-29 Thread mmarco
Just to clarify, i wasn't thinking on sage sending a query to findstat, but performing the search locally (i.e. having findstat software included in Sage). I don't know how findstat is implemented, so i don't know how wise that aproach would be. Does findstat relly on a big database that is

[sage-devel] Re: notebook rewrite

2009-07-21 Thread mmarco
I have tested your demo. It works fine in firefox, but i can't see the cells in konqueror 3.5.10 (sage notebook doesn't look well in konqueror, but most of the functionalities work). --~--~-~--~~~---~--~~ To post to this group, send email to

[sage-devel] Exterior algebra (again)

2009-09-23 Thread mmarco
I have to do some computations in an exterior algebra, and i have seen that it is not yet implemented in sage, but there is some work in that direction. My question is: will this feature be implemented in sage 4.1.2? If so, how complete will it be?. If no, any idea about when it will be? I have

[sage-devel] Re: survey: how many cpus do you have?

2009-09-23 Thread mmarco
I got the right answer (counting different cores of the same processor as different processors) in all the computers i have checked (with different number of processors and different flavours of linux). All of them are x86 or amd64 architecture. Still have to check how does it work with atom

[sage-devel] Re: survey: how many cpus do you have?

2009-09-23 Thread mmarco
I got 2 as answer over my core2duo laptop (running over gentoo linux), which is correct counting the two cores as two processors. I also got 2 as answer over my atom n270 netbook (running over ubuntu), which is a single core processor but with hyperthreading. For multithread computation

[sage-devel] A function to coerce rings from singular to sage

2008-09-07 Thread mmarco
I have written this function that transforms a singular ring into the corresponding sage ring. As far as i can tell it works fine with polynomial rings over the real, complex, rationals and finite fields, and algebraic extensions of them. It doesn't consider the monomial ordering though (i

[sage-devel] Re: A function to coerce rings from singular to sage

2008-09-08 Thread mmarco
This still doesn't work the right way for finite extension fields: sage: k.a = GF(2^8) sage: P.x,y = k[] sage: P Multivariate Polynomial Ring in x, y over Finite Field in a of size 2^8 sage: r = P._singular_() sage: coerce_ring_from_singular(r) Multivariate Polynomial Ring in x, y over

[sage-devel] Re: A function to coerce rings from singular to sage

2008-09-08 Thread mmarco
Ops, i sent a wrong version. Here is the last one, with added suport for rings over transcendental extensions: def coerce_ring_from_singular(r): cha=str(r.charstr()) vars=str(r.varstr()).rsplit(',') ch=cha.partition(',')[0] if ch=='real': fiel=RR elif ch=='0':

[sage-devel] Error copying ideals over the complexes to Singular.

2008-10-27 Thread mmarco
Whle doing a program, i found a problem when trying to compute the syzygy module of an ideal of polynomials over the complexes. Here is the code tha showed the error: R.x,y,z=PolynomialRing(CC) config2=(x^2+8*y^2+21*x*y-x*z-8*y*z)*(x^2+5*y^2+13*x*y-

[sage-devel] Re: Error copying ideals over the complexes to Singular.

2008-11-01 Thread mmarco
I agree that, when it is possible, it is better to work in exact rings. But sometimes (not in this particular example, but in other similar ones) you actually need to use complex numbers. I guess there is a way to do it in an alggebraic extension of Q, but i am not sure how to handle that with

[sage-devel] Re: Google Wave again...

2009-11-26 Thread mmarco
On 25 nov, 15:54, Nathann Cohen nathann.co...@gmail.com wrote: Hello !! I have some invitations for Wave left... If you are interested, leave your email here ! Nathann I would like to try it. My email is mma...@unizar.es Miguel Marco -- To post to this group, send an email to

[sage-devel] Re: Sage on Maemo 5

2010-01-23 Thread mmarco
Ok, i have tried to compile sage for armel/fremantle, but run into an error. What i did is the following: 1)Run the maemo sdk virtual image on virtualbox (i didn't want to install the sdk manually, so i opted for the easy option) 2)Unpack the sage source in a directory 3) Log in to scratchbox

[sage-devel] Re: Sage on Maemo 5

2010-01-23 Thread mmarco
What happens if you type this: cd /home/maemo/workspace/sage-4.3.1 ./sage -python import sys, os -- William Nothing noticeable: [sbox-FREMANTLE_ARMEL: ~/workspace/sage-4.3.1] ./sage -python Python 2.6.4 (r264:75706, Jan 23 2010, 12:32:46) [GCC 4.2.1] on linux2 Type help, copyright,

[sage-devel] Re: Sage on Maemo 5

2010-01-24 Thread mmarco
export SBOX_REDIRECT_IGNORE=/home/maemo/workspace/sage-4.3.1/local/ python Tried that. Didn't work :( Any more clues? -- 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

[sage-devel] Re: Sage on Maemo 5

2010-02-02 Thread mmarco
Ok, i have gone with a new attepmt, compiling sage in the phone itself. What i did is to install the easy-deb-chroot package (it basically mounts a disk image with a debian-arm system, and chroots into it). Then i installed in that echroot environment the needed tools (build- essential, m4 and

[sage-devel] Re: Sage on Maemo 5

2010-02-06 Thread mmarco
I have tried to cross-compile atlas inside scratchbox and it also fails. Is it possible to compile sage without atlas?. I would rather have a sage installation with some features missing, than having no sage at all. Cheers, Miguel -- To post to this group, send an email to

[sage-devel] Re: Sage on Maemo 5

2010-02-07 Thread mmarco
Could you post the error message from ATLAS. There have been a lot of problems wtih ATLAS on Sage - specifically to those on Solaris, but workarounds have been found to all of them, even though there is no official new ATLAS release which addresses these points. It may be possible to fix

[sage-devel] Re: ARM compilation of sage progress

2010-02-13 Thread mmarco
I'm compiling right now on my SheevaPlug (ARM, running Ubuntu 9.04). The build fails on a number of packages: fortran, lapack, atlas, linbox, blas, matplotlib, singular, and R. I'm trying the latest version of numpy to see if I can get the build process to actually finish. I'm on a

[sage-devel] Bug in implicit_plot3d ?

2010-02-13 Thread mmarco
If i try to do this: var('x,y,z,a,b,c,d,t') f=x^3-y^2 fr=real_part(f).subs({real(x):a,imag(x):b,real(y):c,imag(y):d}) fi=imag_part(f).subs({real(x):a,imag(x):b,real(y):c,imag(y):d}) sol=solve(x^2*t^2+y^2*t^2+t^2*z^2+(1-t)^2==1,t)[0] sol=sol.rhs() ffr=fr.subs({a:x*sol,b:y*sol,c:z*sol,d:1-sol})

[sage-devel] Exterior algebras.

2010-03-19 Thread mmarco
I would need to deal with exterior algebras, and as far as i have seen, they are not defined in sage. I could try working on implementing them, but i have no idea how to build the corresponding class in sage. What should be the appropiate aproach? Is there some documentation about how to build

[sage-devel] Re: Exterior algebras.

2010-03-23 Thread mmarco
Thanks for the code. From what i see, it does not inherit ideals or groebner basis. I will try to take a look at that. -- 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

[sage-devel] Re: Exterior algebras.

2010-03-25 Thread mmarco
Ok, i have seen how to define them in singular properly. Something like this: ring r=0,(x,y,z),lp; def a=nc_algebra(-1,0); setring a; ideal i=x2,y2z2; i=std(i); qring e=i; setring e; creates an exterior algebra. The command Exterior() from the package nctools.lib does essentially the same. I

[sage-devel] Eigenspaces of vector spaces endomorphisms.

2010-05-11 Thread mmarco
While preparing a linear algebra class with sage, i found that the functions related to eigenvectors, eigenspaces and eigenvalues are not function of the endomorphism objects (which would be the mathematically correct deffinition), but of the matrix objects. Wouldn't it make sense to add these

[sage-devel] Re: Eigenspaces of vector spaces endomorphisms.

2010-05-15 Thread mmarco
Implement it and post a patch. -- 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

[sage-devel] mathematically correct eigen* methods of matrices.

2010-06-14 Thread mmarco
During the discusion about ticket 8974 https://webmail.unizar.es/horde/imp/login.php i noted that the behaviour of eigenvectors, eigenspaces and eigenvalues method of matrices is not mathematically correct. Or being more precise, it does not translate directly into mathematically correct methods

[sage-devel] Re: mathematically correct eigen* methods of matrices.

2010-06-14 Thread mmarco
On 14 jun, 15:45, John Cremona john.crem...@gmail.com wrote: I think that sounds a good idea; but can we call the parameter extend and not base_extend? First, as that is less frightening for users (who will need examples to show that for a real matrix, if you want complex eigenvalues you

[sage-devel] Re: mathematically correct eigen* methods of matrices.

2010-06-14 Thread mmarco
I am OK with keeping the default extend=True. But i would like it to be the opposite in the case of endomorphisms (i know it is not a good idea to have different default behaviours for matrices and endomorphisms, so i won't argue if its decided to keep it alwais true as default). My reason to

[sage-devel] Re: mathematically correct eigen* methods of matrices.

2010-06-15 Thread mmarco
Reading again this discusion i have noticed that eigenspaces behaviour is not what i expected: sage: M=matrix(QQ,[[1,2],[3,4]]) sage: M.eigenspaces() [ (a0, Vector space of degree 2 and dimension 1 over Number Field in a0 with defining polynomial x^2 - 5*x - 2 User basis matrix: [ 1

[sage-devel] Re: mathematically correct eigen* methods of matrices.

2010-06-19 Thread mmarco
I have sent a patch to ticket 8974 that implements this feature. http://trac.sagemath.org/sage_trac/ticket/8974 It is mixed with the implementation of this functions for endomorphisms. I hope thats not a problem. Miguel. -- To post to this group, send an email to sage-devel@googlegroups.com To

[sage-devel] Re: Should there be some *good* examples on notebook?

2010-08-13 Thread mmarco
I think the current design fits perfectly for a classroom server, but maybe its true that the public notebook server gets too much garbage. The rating system should be a solution for this, but clearly, doesn't work. Maybe just a regular garbage collecting could be usefull. But then again, we need

[sage-devel] Re: Should there be some *good* examples on notebook?

2010-08-16 Thread mmarco
On 14 ago, 00:59, Dr. David Kirkby david.kir...@onetel.net wrote: IMHO, if a user sets up a Sage server, he should have 20 or 30 decent examples installed for him to look at. He may never chose to even make that server public. But some decent examples would still be useful. I think there

[sage-devel] Re: Sage on Android

2010-08-18 Thread mmarco
Some time ago i tried to compile sage on a nokia n900 (it is arm architecture, like most android devices), over a debian-arm chroot inside the native maemo OS. the compilation process went on for several hours, but it crashed eventually. IIRC, the problem i found was with the atlas library, which

[sage-devel] Organizing sage days

2011-10-24 Thread mmarco
It is possible that i could get some funding to organize a workshop, which must be related to aplied and computational algebraic topology. I thought about organizing a sage days devoted to braids and/or knots and links; maybe with sprints aimed at the implementation of free and finitely presented

[sage-devel] Re: asking if Sage has support for computations with differential operators

2011-10-24 Thread mmarco
When is all this expected to be merged? On 24 oct, 15:50, Burcin Erocal bur...@erocal.org wrote: Hi Pablo, On Mon, 24 Oct 2011 10:32:12 -0300 Pablo De Napoli pden...@gmail.com wrote: Many thanks! I see that with this patches, it would be esasy to have also a Weyl algebra implementation

[sage-devel] Re: Organizing sage days

2011-10-29 Thread mmarco
Thanks for the responses. What i still don't know is how coding sprints are suposed to be. Do they happen in the hotel or in the conference rooms? Are they planed in advance or do they just happen spontaneously? Do they involve everybody working together in one task or each one works in a

[sage-devel] Using several algorithms in parallel

2011-11-03 Thread mmarco
There are some computations for which there are several algorithms available. Think, for example, of GTZ and SY algorithms for primary decomposition. There is no useful criterion to determine which one will be faster for a given case in advance. With modern computers having multiple cores, i think

[sage-devel] Re: Using several algorithms in parallel

2011-11-03 Thread mmarco
What i had in mind is something like this: right now you can compute the primary decomposition of an ideal using I.primary_decomposition(algorithm='sy') (default) or I.primary_decomposition(algorithm='gtz') what i propose is to keep this, and add some option like

[sage-devel] Re: Using several algorithms in parallel

2011-11-04 Thread mmarco
Thanks for the example, Tom. I have tried to implement the algorithm='parallel' in the primary decomposition, but it doesn't recognize the parallel function. If i try to import it, it gives an error message at startup. I have tried with import sage.parallel from sage.parallel import all But

[sage-devel] Re: Using several algorithms in parallel

2011-11-05 Thread mmarco
or invalid The error message is: ('EOF in multi-line statement', (80, 0)) --- ImportError Traceback (most recent call last) /home/mmarco/sage-4.7.2/local/lib/python2.6/site-packages/IPython/ ipmaker.pyc

[sage-devel] Re: Using several algorithms in parallel

2011-11-05 Thread mmarco
So, the solution is to move the parallel importation to somewhere else? Which would be the apropriate place? On 5 nov, 14:28, Maarten Derickx m.derickx.stud...@gmail.com wrote: The problem is that by putting from sage.parallel.all import parallel in

[sage-devel] A minimal vm

2011-11-09 Thread mmarco
I have created a virtual machine with sage and a very minimal system. In my machine (a core i7 desktop) it boots in less than 10 seconds, and has a sage server running in around 20 from the pressing of the start button. It can be downloaded from http://riemann.unizar.es/sagevm/Sage.ova I don't

[sage-devel] Re: A minimal vm

2011-11-09 Thread mmarco
: On Nov 9, 10:59 am, mmarco mma...@unizar.es wrote: I have created a virtual machine with sage and a very minimal system. In my machine (a core i7 desktop) it boots in less than 10 seconds, and has a sage server running in around 20 from the pressing of the start button. It can

[sage-devel] Re: A minimal vm

2011-11-09 Thread mmarco
not sure if it would save a lot of space. On 9 nov, 12:41, Jan Groenewald j...@aims.ac.za wrote: Dear Marco, On 9 November 2011 13:34, mmarco mma...@unizar.es wrote: The .ova file is 2 gigs big. What makes it this big? I would guess 500M minimal install, 500M Sage, and the rest is desktop

[sage-devel] Re: A minimal vm

2011-11-09 Thread mmarco
...@gmail.com wrote: On Nov 9, 1:00 pm, mmarco mma...@unizar.es wrote: It is that big because just the sage directory itself is very big. The guest OS is really very minimal: almost no services running, and only installed the very basic stuff (no x server, for instance). Maybe some space could

[sage-devel] Re: A minimal vm

2011-11-09 Thread mmarco
9, 2011 6:34:18 AM UTC-5, mmarco wrote: The .ova file is 2 gigs big. This is too big. I'm maintaining the official virtual image and its only 1.4 gb, despite being a fairly standard Fedora install. Did you zero out the virtual disk before exporting? There is trash in the unused virtual

[sage-devel] Re: A minimal vm

2011-11-09 Thread mmarco
BTW, i use a flexible virtual disk. Would that benefit from the zeroing out? -- 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

[sage-devel] Re: A minimal vm

2011-11-09 Thread mmarco
Yes, you need it. It is done with VirtualBox. I don't have VMWare installed, so i am not sure, but i guess you can import it. On 9 nov, 21:37, kcrisman kcris...@gmail.com wrote: On Nov 9, 3:29 pm, mmarco mma...@unizar.es wrote: Ok, after finding some files and directories that can be erased

[sage-devel] Re: A minimal vm

2011-11-09 Thread mmarco
In the download page of VirtualBox, there is a GPL binary for windows. -- 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

[sage-devel] Re: A minimal vm

2011-11-10 Thread mmarco
Ok, the striped down 1.2 GB virtual machine is available in the same link. Maybe some unneeded system utilities could still be removed, but i wouldn't expect more than a few dozen MB gained from that. I have noticed that, when running under virtualbox and closing saving the state, everything

[sage-devel] Re: A minimal vm

2011-11-10 Thread mmarco
I forgot to mention that buiding sage from source writes the logs of all the building process. Removing them saves a lot of disk space. I think such a thing should also be included in the make micro_release script. On 10 nov, 12:35, mmarco mma...@unizar.es wrote: Ok, the striped down 1.2 GB

[sage-devel] Re: or sage-5.0? (Re: [sage-release] Next release: sage-4.7.3 or sage-4.8?)

2011-11-10 Thread mmarco
I also use sage-on-gentoo. I find it a very good way to just use sage. But i don't only use sage, i also develop it: when there is a feature i miss, i implement it (if i have the knowledge and time to do so). The easyest way to do so is to have sage installed in a directory in the standard way.

[sage-devel] Re: VirtualBox

2012-01-09 Thread mmarco
So, summarizing, a (let's say) VirtualBox VM, that boots directly into simple X environment with sage running on the background+firefox open pointing at it would be a good solution? That seems feasible. The bigest problem i see is the mouse integration. What about a VM with no X that just boots,

[sage-devel] Re: VirtualBox

2012-01-09 Thread mmarco
Then its even better that i thought. I always tried VirtualBox without the extensions, so the mouse integration is a problem. On 9 ene, 21:30, Volker Braun vbraun.n...@gmail.com wrote: On Monday, January 9, 2012 3:25:54 PM UTC-5, mmarco wrote: That seems feasible. The bigest problem i see

[sage-devel] Re: VirtualBox

2012-01-09 Thread mmarco
By the way, how canhttp://localhost:8000ever work? If I'm using VirtualBox and I go tohttp://localhost:8000in Internet Explorer, I'm definitely *not* going to get something having anything to do with the virtual machine. You can configure port forwarding with VirtualBox. If you forward

[sage-devel] Re: VirtualBox

2012-01-09 Thread mmarco
Is there another port that is usually not firewalled that could be used? On 9 ene, 22:28, Volker Braun vbraun.n...@gmail.com wrote: On Monday, January 9, 2012 4:19:36 PM UTC-5, mmarco wrote: You can configure port forwarding with VirtualBox. If you forward port 8000 of the host system

[sage-devel] Re: Proposal: Remove GNUTLS from Sage.

2012-01-09 Thread mmarco
I don't think the case of users who would use the secure=True option but are not that sophisticated is as unusual as William assumes. I know several examples (and i am one of them). I would agree with the elimination of this option IF the way to recompile it with openssl support is adequately

[sage-devel] Re: Trac Accounts...

2012-01-10 Thread mmarco
I have no contact with windows systems at all, so i don't know how is the real situation right now. Is it usual that windows systems come with port 8000 firewalled? How hard would it be for an average user to open that port? And also, does the port forwarding method work even if there is no

[sage-devel] Re: Trac Accounts...

2012-01-10 Thread mmarco
Oh, and by the way: what about the option of running the VM in headless mode? That would definitely solve the problem of the cursor stuck that William pointed. And would make easyer to do a simple one click launch script. -- To post to this group, send an email to sage-devel@googlegroups.com To

[sage-devel] Re: Trac Accounts...

2012-01-10 Thread mmarco
Again, that is what my current virtual machine does. It works fine as long as the host has networking up and running. So port forwarding in windows does not work if the host system does not have a network connection? That really complicates things. That would leave the aproach of shipping a

[sage-devel] Re: Trac Accounts...

2012-01-10 Thread mmarco
Ok, so the main problem with your VM would be the firewalls and antivirus? -- 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

[sage-devel] Re: Trac Accounts...

2012-01-10 Thread mmarco
What i meant by headless is to run it completelly in the background, with no window showing at all. You can run a VM in that way with the VBoxHeadless command. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to

[sage-devel] Re: Trac Accounts...

2012-01-10 Thread mmarco
One other thing that would make this massively better. It would be cool to modify the notebook somehow so that it could store all the worksheets on the host Windows filesystem instead of inside the VM. Right now, when people delete the VM and install a new one, all of their worksheets

[sage-devel] Re: Trac Accounts...

2012-01-10 Thread mmarco
Well, (very quick and dirty) hack would be to make the GUI app to sync (through ssh, for example) some folder in the host to the / home/.sage directory at startup, and then sync back periodically. Other option would be to let the GUI app manage the shared folders configuration (again, by

[sage-devel] Re: Trac Accounts...

2012-01-10 Thread mmarco
There is another consideration to be taken into account: if we distribute a VM with the virtualbox guest additions installed, we can distribute it... but i am not sure under which license. It could be that the user should accept the VirtualBox PUEL license, and, for example, it is not clear if the

[sage-devel] Re: VirtualBox

2012-01-10 Thread mmarco
This really looks like a great out-of-the-box solution. But it takes around a minute and a half since i start the VM till i get the working notebook. Can this startup time be improved? On 10 ene, 22:42, Volker Braun vbraun.n...@gmail.com wrote: Here is a new version of the virtual machine that

[sage-devel] Re: VirtualBox

2012-01-11 Thread mmarco
I have tried the new VM from Volker (on a linux host), and the guest browser works fine, but i can't connect from a host browser. Somebody else noticed this? As for the shared folders, i think it would be a good idea to include a dialog in Emil's installer to configure them after the .ova image

[sage-devel] Re: VirtualBox

2012-01-11 Thread mmarco
The port forwarding seems to be well configured in Volker's VM (the same configuration works fine in otyher VM's), but i don't know why it does not work. Maybe something isn't right in the guest system? Volker, are you sure that your guets system is listening to ssh connections, and that it

[sage-devel] Re: VirtualBox

2012-01-11 Thread mmarco
Volker, can you access the sage notebook from the host using your last VM? I can't. -- 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

[sage-devel] Re: VirtualBox

2012-01-11 Thread mmarco
In fact, i get that only the lo interface is up in the guest system. I think that explains the problem. -- 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

[sage-devel] Re: VirtualBox

2012-01-12 Thread mmarco
On 12 ene, 16:38, Volker Braun vbraun.n...@gmail.com wrote: password is always sage I've configured the window manager to the bare minimum. Ideally we'd run without a wm but that seems to break VirtualBox seamless mode. We should also disable moving and minimizing the browser window inside

[sage-devel] Re: VirtualBox

2012-01-13 Thread mmarco
Working in my own VM, i have noticed a problem of the browser inside the VM aproach: keyboard layout. Is there a way to make VirtualBox use the host layout inside the guest? -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to

[sage-devel] Re: News about the ARM port

2012-01-16 Thread mmarco
Is there any hope of compiling sage for android? or the only way to have sage running on a tablet would be to install a linux system on top of the android one? On 17 dic 2011, 16:34, Julien Puydt julien.pu...@laposte.net wrote: Le 04/12/2011 20:09, Julien Puydt a �crit : I have successfully

[sage-devel] Free groups, feedback wanted.

2012-01-22 Thread mmarco
I am trying to implement free groups, finitely presented groups and braid groups in sage. So far i have writen a proof of concept for the free groups (see ticket 12339), but i don't have any experience with the category and coercion frameworks. Any feedback and/or colaboration would be most

Re: [sage-devel] Free groups, feedback wanted.

2012-01-23 Thread mmarco
My idea was to use cbraid behind the scenes to implement braid groups. http://code.google.com/p/cbraid/ On 23 ene, 12:58, Dima Pasechnik dimp...@gmail.com wrote: Given that Chevie needs Maple, it can be regarded as highly optional. -- To post to this group, send an email to

[sage-devel] Re: VirtualBox

2012-02-04 Thread mmarco
I have been working on a VM with compressed filesystems. I have thought that maybe a good aproach to the automatic generation problem would be to mount the sage directory from a compressed file in a shared folder. It should need, as William sugested, a windows GUI app that would take care of

[sage-devel] Re: VirtualBox

2012-02-05 Thread mmarco
A more technical detail - I am curious: How to you allow persistant changes to the sage directory in the compressed filesystem? Do you plan to use an overlayed filesystem with a persistant savefile? Or do you have the sage directories just as read only? cheers I use unionfs to mix the

[sage-devel] Re: VirtualBox

2012-02-05 Thread mmarco
On 5 feb, 09:30, Volker Braun vbraun.n...@gmail.com wrote: I think thats all premature optimization. First we need a bulletproof way of running Sage in the VM. At the end we can still worry about ways to shave off another megabyte or two. Most VM questions I got were about how to add more

[sage-devel] Re: VirtualBox

2012-02-06 Thread mmarco
I have little experience with pyqt, and i am not sure that would be the way to go. A windows user that would want to use a pyqt program would need to have installed in his system: python, pyqt and qt. The offline windows installer of qt is 1.3 gigs. That's overkill for a simple gui app. There must

[sage-devel] Re: GSOC 2012

2012-02-08 Thread mmarco
Continuing nontrivial Geogebra integration could be another very appropriate one. - kcrisman Big +1 to that. * webwork/sage integration I would also add integration with moodle (maybe that would include ldap?) There is also some mathematical stuff that i would like to see in Sage, but

Re: [sage-devel] Free groups, feedback wanted.

2012-02-14 Thread mmarco
I have added a new version, with an implementation of finitely presented groups. It can be improved for sure: lots of gap functions can be wrapped, and maybe the implementation is not optimal; but it works. It passes all the test suite except the pickling tests. Any clue about how to solve it?

[sage-devel] Should the -o option of the gap session be stablished at runtime?

2012-02-16 Thread mmarco
The gap session to which sage communicates is started by default with the option -o G set. This means that, if gap uses all the memory it won't return an error message, but will be killed by the OS. The sage session continues, with an error message, but there would be orphan objects that point

[sage-devel] Natural language interface to sage

2012-02-29 Thread mmarco
Take a look at this: http://www.molto-project.eu/node/1412 It is a library that can translate natural language sentences to sage commands. I haven't tested it, but the examples they show sound impressive: sage compute the product of the octal number 12 and the binary number 100. (3) 40 answer:

[sage-devel] Re: Natural language interface to sage

2012-02-29 Thread mmarco
What is the issue with haskell? Its license? On Feb 29, 6:33 pm, William Stein wst...@gmail.com wrote: On Wed, Feb 29, 2012 at 3:55 AM, mmarco mma...@unizar.es wrote: Take a look at this: http://www.molto-project.eu/node/1412 It is a library that can translate natural language sentences

[sage-devel] Re: Natural language interface to sage

2012-02-29 Thread mmarco
So, returning to the original subject. Would it be ok to have this natural language interface, say, as an optional package? Or as someone suggested, to have it in some experimental server? -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send

[sage-devel] ARM port (again)

2012-03-23 Thread mmarco
I tried to answer to the post of the arm port, but i am not sure why i can't. I am considering buying an asus eeepad transformer prime. So i would like to compile sage on it. What are the changes that need to be done to the source code to do it?. Is there somewhere a tarball with the code

[sage-devel] Re: ARM port (again)

2012-03-23 Thread mmarco
Does that run android or a complete distribution? It does run android, but i have read that it is possible to install ubuntu in a chroot environment. -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to

[sage-devel] Re: ARM port (again)

2012-04-07 Thread mmarco
Ok, i finally got the tablet, installed ubuntu in a chroot, and tried to compile sage. The build process went on pretty far,but eclib keeps failing. I get the following error message: Assembler messages: Fatal error: can't create egr_n.o: Input/output error Any clue about how to solve this? And

[sage-devel] Re: ARM port (again)

2012-04-07 Thread mmarco
No, sorry.  Perhaps this is where you happen to run out of memory? It's possible. I think i hit into a memory problem with symmetrica, but solved it enabling a 512mb swap file. Maybe it wasn't enough for eclib. I have a new autotools-based release of eclib, which will be turned into a new

[sage-devel] Re: ARM port (again)

2012-04-08 Thread mmarco
Could you tell is the specifications of your tablet? It's an asus transformer prime. The processor is an nvidia tegra 3. bash-4.0# more /proc/cpuinfo Processor : ARMv7 Processor rev 9 (v7l) processor : 0 BogoMIPS: 1993.93 processor : 1 BogoMIPS: 1993.93

[sage-devel] Re: ARM port (again)

2012-04-08 Thread mmarco
Ok, i have tried to enable 2 gigs of swap space, and it keeps failing with the same error message, although it takes much more time to crash (from 8 minutes without swap to more than two hours with the 2 gigs). It really sounds like a memory problem, but i am not sure that more swap would solve

[sage-devel] Re: ARM port (again)

2012-04-08 Thread mmarco
its version 4.8, with flint 1.5.2 -- 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:

[sage-devel] Re: ARM port (again)

2012-04-08 Thread mmarco
and my chroot environment is ubuntu 9.11 armel. -- 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:

[sage-devel] Re: ARM port (again)

2012-04-09 Thread mmarco
I can install a newer ubuntu system in a chroot. I think that the fact of running under a chroot environment shouldn't prevent the sage build from running. All the libraries are in the chroot jail. So if you have an armel build, i can give it a try. -- To post to this group, send an email to

[sage-devel] Re: ARM port (again)

2012-04-10 Thread mmarco
Well, it's only a 4.8 after all : I only had one 5.0beta?? tree left, and it was in a dubious state. 4.8 is the last which should work (even though I didn't use it since long :-/) I ran ./sage -bdist 4.8, then removed the obtained .tar.gz, then re-made a .tar.bz2 (and it's still big...).

[sage-devel] Re: ARM port (again)

2012-04-11 Thread mmarco
I have finally downloaded the file, and it doesn't run on my tablet. It seems that it was compiled in a different setup. I have changed to a newer version of ubuntu, and will try to compile from source. John, is your new version of eclib available as an spkg? -- To post to this group, send an

[sage-devel] How to implement parent with gens?

2012-04-18 Thread mmarco
of the generators, it fails: sage: G=FreeGroup(('a','b','c')) sage: G.inject_variables() Defining a, b, c sage: G.hom([b,b,b]) --- TypeError Traceback (most recent call last) /home/mmarco/sage

  1   2   3   4   5   6   7   >