[sage-devel] donlowad and upload multiple files in one (zip)package

2009-09-26 Thread ma...@mendelu.cz

Hello all, do  you consider to allow to download and upload multiple
files in Sage? Perhaps in zip file? It would be really usefull for
people working on more servers (on laptop at home, on sagenb.org at
wife's computer, behind firewall on university, .) and also for
teachers (all worksheets in one bundle).

Thank you
Robert
--~--~-~--~~~---~--~~
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: Problem sharing directory

2009-09-30 Thread ma...@mendelu.cz



On 18 zář, 08:33, Robert Bradshaw 
wrote:
> > Ok, but it should be possible to share the "worksheet" directory ?
> > I *need* to share it (we have 3 machines, on which  the users -some
> >hundredsof students- will be connected at random).
>
> I don't think that would be possible. What you could do is use the  
> "server pool" option to use ssh accounts on all three machines to  
> share the actual computation load, while the notebook frontend would  
> run on just one machine. This fall the notebook will be made much  
> more scalable.

Great, sounds good, but is this really possible? I found another
thread where prof. Stein sais that all accounts have to be on the same
Unix machine.
http://osdir.com/ml/sage-devel/2009-09/msg00144.html

Is this feature allready available? Or should we expect it in the
forthcomming version?

Sincerely
Robert Marik


--~--~-~--~~~---~--~~
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] broken desolve with initial conditions

2009-10-03 Thread ma...@mendelu.cz

Dear developers of Sage

desolve seems to be broken for second order IVP. Some discussion is on
http://groups.google.cz/group/sage-support/browse_thread/thread/b6f6b6f056e80149

I hope, I described the solution for the problem, byt I have not
enough skills (yes) to write the patch. Is anybody interested in this?
Thank you.

Robert Marik


--~--~-~--~~~---~--~~
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] desolve - returns sometimes equation and sometimes function

2009-10-03 Thread ma...@mendelu.cz

Hello all,

studying the problem related to desolve and discussed in sage-suppport
( 
http://groups.google.cz/group/sage-support/browse_thread/thread/b6f6b6f056e80149
), I have one more question:
The function desolve ends with this:

if soln.lhs() == dvar:
soln = soln.rhs()

So sometimes desolve produces expression (if the solution of ODE has
been found in explicit form) and sometimes equation.

What is the reason for this behavior? I think that it is confusing for
the user, isn't it?

Thank you

Robert Marik
--~--~-~--~~~---~--~~
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: desolve - returns sometimes equation and sometimes function

2009-10-07 Thread ma...@mendelu.cz

Dear developers of Sage

I'm working on trac http://trac.sagemath.org/sage_trac/ticket/6479 adn
the foloowing enahancements of desolve
* with parameter show_method=True Sage returns pair [solution, string
describing method (e.g. linear)]
* with parametr ode_contrib=True Sage tries to use ode2 first and if
this fails, then tries ode_contrib command, which allows to solve more
types of equations. This is False by default, since seems ode_contrib
sometimes to hang (more precisely, the computation is t long)

I found a bug in maxima reported today at
http://news.gmane.org/gmane.comp.mathematics.maxima.general as
"Seriious bug in ic2" ( 
http://thread.gmane.org/gmane.comp.mathematics.maxima.general/28434
)

I suppose to raise warning from Sage to the user that using bc2
command for second order ODE equations which are not linear is
insecure. Is it O.K? Is it in harmony with customs used in Sage? And
how can send this message to the user, without producing error like
raise NotImplementedError, "Maxima was unable to solve this system."

Thank you
Robert Marik

On 4 říj, 00:22, "ma...@mendelu.cz"  wrote:
> Hello all,
>
> studying the problem related todesolveand discussed in sage-suppport
> (http://groups.google.cz/group/sage-support/browse_thread/thread/b6f6b...
> ), I have one more question:
> The functiondesolveends with this:
>
> if soln.lhs() == dvar:
> soln = soln.rhs()
>
> So sometimesdesolveproduces expression (if the solution of ODE has
> been found in explicit form) and sometimes equation.
>
> What is the reason for this behavior? I think that it is confusing for
> the user, isn't it?
>
> Thank you
>
> Robert Marik
--~--~-~--~~~---~--~~
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: desolve - returns sometimes equation and sometimes function

2009-10-07 Thread ma...@mendelu.cz



On 7 říj, 10:53, Robert Bradshaw  wrote:
> On Oct 7, 2009, at 1:40 AM, ma...@mendelu.cz wrote:
>
> By insecure, I assume you mean it returns bogus answers?

Yes, if we substitute initial conditions and solve for constants %k1,
%k2, then
%k1, %k2 may depend on x and y and thus substitution into general
equations produces answer which is not correct.

If ic2 gets fixed by maxima folks, how fast will the change propagate
to Sage? Is it better to wait for the fix or introduce fixed version
of ic2 into the desolvers.py? Which option is preferred by sage
developers?

Robert
--~--~-~--~~~---~--~~
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 command - what is actually passed to maxima?

2009-10-08 Thread ma...@mendelu.cz

Hello all

Trying to fix http://trac.sagemath.org/sage_trac/ticket/2617

My idea is to write wrapped for maxima solve command which
* passes equations to maxima within errcatch environment (to prevent
errors from solve(acot(x)==0,x) )
* optionally does either nothing more,
  or (default) plugs the right hand sides of answers in the form
x=independent_on_x  into equation(s),
  or optinally checks that the equations are true (this would fix
http://trac.sagemath.org/sage_trac/ticket/3745 )

this would return
sage:solve(x*ln(x)*(x-1),x, check='domains')
[x==1]

sage:solve(x*ln(x)*(x-1),x,check='none')
[x==0, x==1]

and would remove incorrect solutions from trac 3745

I was supprised that
sage: maxima("solve(x*log(x)-x-sin(x)=0,x)")
[x=sin(x)/(log(x)-1)]

has very very different output to

sage: solve(x*log(x)-x-sin(x)==0,x)
[x == r27, x == r25] ugh!

so I was looking for definition of solve in /home/sage/sage_install/
sage-alpha/local/lib/python2.6/site-packages/sage/symbolic/relation.py
(worked on uw.sagenb.org)

where everything seems to be done in m.solve(variables)   so I looked
for .solve method.

Doing
m=maxima(something)
m.solve??

does not show anything resonable for me. Also I was not able to find
anything resonable in he file interfaces/maxima.py

Where can i digg out the string which actually is passed to Maxima?
And do you think that the described method to solve the problem is a
good idea?
I did something like this for scalar case in MAW, you can try for
example function calculator at
http://user.mendelu.cz/marik/maw/index.php?lang=en&form=derivace

Robert Marik




--~--~-~--~~~---~--~~
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: solve command - what is actually passed to maxima?

2009-10-08 Thread ma...@mendelu.cz



On 9 říj, 03:48, kcrisman  wrote:
> On Oct 8, 8:35 pm, Jason Grout  wrote:
>

Thank to both for your posts.

Among others, I now understand that

m=maxima(something)
m.solve(something)

calls solve(m,something) in Maxima and I can also pass other commands
to the *same* Maxima  session by using something like

P=m.parent()
P.eval("maxima_command")

Is this my understanding right?

I was not able to find these informations in documentation. Should
this be documented? Or is this trivial thing for skilled programers in
Python?

Thank you again for extremly usefull answers.

Robert Marik
--~--~-~--~~~---~--~~
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] need help related to conversion maxima code into Sage

2009-10-09 Thread ma...@mendelu.cz

Hello,

trying to fix desolve_laplace as described at
http://groups.google.cz/group/sage-support/browse_thread/thread/b6f6b6f056e80149/e2c0cf18cce9926c

It is continuation of ticket http://trac.sagemath.org/sage_trac/ticket/6479
which has been (hope) solved.

The temporary code is http://user.mendelu.cz/marik/temp/desolvers.py
and it has been tested on equations like equations on the bottom of
this post.

I have still a problem: I do not know how to get sage representation
of 'at()

current desolve_laplace produce (via maxima) something like
"x*%e^x*('at('diff('f(x),x,1),x=0))-'f(0)*x*%e^x+'f(0)*%e^x"

If I do
A=maxima("'at('diff('f(x),x,1),x=0)")
A.sage()

I expect the corresponding Sage expression but I get errors.

As a result, the new desolve_laplace cannot be used to solve second
order ODE without initial conditions.

Can you help me to came over this step? Thank you.

Robert Marik.

btw: another improvement od desolve_laplace is, that it removes
initial conditions after solving IVP, in the previous version initial
condition persisted in the maxima session - see the Warming message
after desolve_laplace?


---
Test equations for new desolve_laplace:

u=function('u',x)
print "***---"
eq = diff(u,x,x)  + u == 0
#A=desolve_laplace(eq,u)
#print A

A=desolve_laplace(eq,u,ics=[0,1,2])
print A


eq = diff(u,x) - exp(-x) - u == 0
A = desolve_laplace(eq,u)
print A
A=desolve_laplace(eq,u,ics=[0,3]).expand()
print A
A=desolve(eq,u,ics=[0,3]).expand()
print A
A=desolve_laplace(eq,u).expand()
print A

print "***"
eq=  diff(u,x) - exp(-x) - u == 0
A=desolve_laplace(eq,u,ics=[0,3])
print A
eq=  diff(u,x) - exp(-x) - u == 0
A=desolve_laplace(eq,u)
print A
--~--~-~--~~~---~--~~
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: need help related to conversion maxima code into Sage

2009-10-09 Thread ma...@mendelu.cz

Thanks, thats incredibly fast. I have now error when trying to
download the patch. I'll try it as soon as possible.

The last version od desolvers.py is 
http://user.mendelu.cz/marik/temp/desolvers.py

Robert M.

On 9 říj, 18:25, kcrisman  wrote:
> See patch at #385.  Can you test it with your new desolve_laplace and
> desolve code?  That would help expose any errors in it.  Maybe Sage
> will finally be able to do everything it should in an intro DE
> course...
>
> - kcrisman
--~--~-~--~~~---~--~~
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: need help related to conversion maxima code into Sage

2009-10-10 Thread ma...@mendelu.cz

There seem be problems with trac.sagemath.org. It was possible to find
the ticket, but the patch was missing. Now the site seems to be down
again.

O.K. No problem, we have to wait. When I came (and returned after few
months back) to Sage, I was supprised that the algebraic things are
supported much better than the things from calculus. Is the
explanation that the more Sage developers do their research (and
lessons) in algebra and number theory?

In the current version of desolve_laplace, the initial conditions
persist also for following equations. I think that using your patch
which solves trac #385 it will be easy to remove this behavior.
Nevertheless, it does not help too much, since sometimes the Maxima
returns the answer in terms of inverse laplace transformation, which
is seems also not to be supported in Sage. But sure: we have at least
something and if somebody is interested, he can add the support for
inverse laplace transformation into Sage. Opensource is great :)

Thanks
Robert Marik

On 9 říj, 23:20, "ma...@mendelu.cz"  wrote:
> Thanks, thats incredibly fast. I have now error when trying to
> download the patch. I'll try it as soon as possible.
>
> The last version od desolvers.py 
> ishttp://user.mendelu.cz/marik/temp/desolvers.py
>
> Robert M.
>
> On 9 říj, 18:25, kcrisman  wrote:
>
> > See patch at #385.  Can you test it with your new desolve_laplace and
> > desolve code?  That would help expose any errors in it.  Maybe Sage
> > will finally be able to do everything it should in an intro DE
> > course...
>
> > - kcrisman
>
>
--~--~-~--~~~---~--~~
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] test if expression depends on another expression

2009-10-11 Thread ma...@mendelu.cz

Hello all, is there in Sage a function which tests, if expression1
depends on expression2 ?
Something like Maxima's command freeof?

I searched Sage sources against 'freeof 'and found nothing relevant.

If not, I think that it will be usefull to add the following function
into Sage, but I have no idea, which file is suitable for this
inclusion and where to state that it should be imported automatically
at the begining.

Robert Marik


def freeof(part,expression):
r"""
test if expression depends on part

INPUT: two expressions

OUTPUT: True or False

EXAMPLES:
sage: y=function('y',x)
sage: x=var('x')
sage: freeof(x,x^2+3)
False
sage: freeof(x^2,x^2+3)
False
sage: freeof(x^6,x^2+3)
True
sage: freeof(y,x^2+3)
True
sage: freeof(diff(y,x),diff(y,x)-4==2)
False
sage: freeof(diff(y,x,x),diff(y,x)-4==2)
True


ALGORITHM: Calls Maxima's command freeof

AUTHOR: Robert Marik (10-2009)

"""
part=part._maxima_()
ans=part.freeof(expression).str()
if ans=='true':
return True
if ans=='false':
return False
else:
raise NotImplementedError, "freeof cannot find the answer to
your 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] Re: test if expression depends on another expression

2009-10-11 Thread ma...@mendelu.cz



On 11 říj, 15:50, Burcin Erocal  wrote:
>
> Does this work for you?

Yes, thanks!
>
> Cheers,
> Burcin
--~--~-~--~~~---~--~~
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 Tutorial Article Set

2009-10-12 Thread ma...@mendelu.cz

Hi than you for info.

I just work on improving desolve and realted things (bug
http://trac.sagemath.org/sage_trac/ticket/6479 ) . As I understand the
previous code, your syntax for desolve is old and preferred one is

des = desolve(de,y,ivar=t,ics=[0,1])

Robert Marik

btw: the last version of my desolvers.py is on
http://user.mendelu.cz/marik/temp/desolvers.py

desolve_laplace still does not work as expected, from this reason i
wait to
http://trac.sagemath.org/sage_trac/ticket/385 and after this I'll send
the patch which should be applied (on the top of patch for
http://trac.sagemath.org/sage_trac/ticket/6479)  to allow lagrange,
clairot and other equations.
R.M.

On 3 říj, 12:49, lutusp  wrote:
> Hello all. I have completed my Sage tutorial, located at:
>
> http://arachnoid.com/sage
>
> The tutorial has eight articles on various topics and includes
> downloadable example worksheets for each. I cover installation,
> basics, several Calculus topics, differential equations, an example
> that creates a set of related useful equations based on one canonical
> financial equation (future value), computing the properties of tuned
> circuits using vectors and complex numbers, and many graphics examples
> mixed into the set. One of my goals was to show how problem solving in
> Sage differs from other computer algebra systems.
>
> I want to thank all of you for your assistance in unraveling some of
> the more arcane aspects of Sage and Python during this project,
> without which I would have been unable to create some of the better
> examples.
>
> I am more than open to comments and criticism -- I would like to edit
> and tune these page while they're fresh in my mind.
>
> Thanks for reading!
--~--~-~--~~~---~--~~
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] Worksheet has not been deleted after deleting

2009-10-12 Thread ma...@mendelu.cz

Hello all, I observed the following behavior of Sage 4.1.1 and 4.1.2
rc0

* Sign as robert.marik
* Create worksheet
* Save & quit
* Log on
* Log in - the worksheet has been deleted
* Log on and Log in as admin --- the worksheet is stil there

Can you reproduce this behavior at your installations of Sage? If yes,
I think that this is a bug.


And together with this (perhaps) bug I have another strange bahavior:
I start notebook (Sage 4.1.1) with

notebook(address='', secure=False, accounts=True, open_viewer=False,
server_pool=['sageu...@localhost'],directory='/opt/dotsage/
sage_notebook', timeout=2000, ulimit="-v 30")

and the notebooks are still running after three days. I think that
already it worked for me, but do not remember which version. Is
something broken with timeout option? Or is the problem in my computer
(virtual Debian in vmware)?

Thank you

Sincerely
Robert Marik

Thank you.
Robert Marik


--~--~-~--~~~---~--~~
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: Worksheet has not been deleted after deleting

2009-10-12 Thread ma...@mendelu.cz

Oops, sorry for typo and missing step.

* Log in as user (not admin)
* Create worksheet and enter something (x^2 + shift enter)
* Save & quit
* Go to the worksheet again and delete
* Log OFF
* Log in ad user - the worksheet has been deleted
* Log OFF
* Log in as admin --- the worksheet is stil there

R.M.


--~--~-~--~~~---~--~~
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: Worksheet has not been deleted after deleting

2009-10-12 Thread ma...@mendelu.cz

> I rewrote this functionality in the new notebook.  Could you please
> try your test at
>
>  http://standalone.sagenb.org/
>
> and see whether you have the same problem.  And, what browser, OS, etc.?

Linux Debian, Firefox (not exactly, debian has its own clone of
firefox - IceWeasel)

I cannot try it on sagenb.org - i do not know admin password

I just created on sagenb.org worksheet named robert.marik with one
line: x^2 saved, returned and deleted.

It is deleted for me - in Trash. Is it deleted also for admin?

R.M.

--~--~-~--~~~---~--~~
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: Worksheet has not been deleted after deleting

2009-10-12 Thread ma...@mendelu.cz

Oooops, I did it on sagenb.org.

Now going to standalone.sagenb.org and try the same again

R.M.


On 12 říj, 19:54, "ma...@mendelu.cz"  wrote:
> I just created on sagenb.org worksheet named robert.marik with one
> line: x^2 saved, returned and deleted.
>
> It is deleted for me - in Trash. Is it deleted also for admin?
>
> R.M.
--~--~-~--~~~---~--~~
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] Patches for differential equations

2009-10-13 Thread ma...@mendelu.cz

Hello all

This is for developers interested in Calculus.

Since the patch for #385 is available and seems to work for me, I
finished my work on #6479

You have to use 2 patches from #6479 and one patch from #385

After this we have the following enhancements in Sage:

* Fixed #6479 (bad solution of IVP for second order ODE)
* Desolve_laplace is more sage-like
* Current desolve_laplace keeps initial condition in the system. This
unintended behavior has been fixed.
* We can solve Lagrange, Clairot, Bessel and other equations
* Added support and examples for Runge Kutta methods
* desolve with show_method=True outputs the type of the ODE (linear,
separable, bernoulli, )
* ic2 and bc2 functions from Maxima do not have bug described at
http://thread.gmane.org/gmane.comp.mathematics.maxima.general/28434


If you think that it is useful, please review it. It would be nice to
find it in the next releases.

It is my first patch for Sage. If something does not satisfy the usual
conditions for patches, feel free to let me know or repaire. My last
desolvers.py is at http://user.mendelu.cz/marik/temp/desolvers.py

I think that documentation needs some revision. I was confused from
all these Sage directories. Is the right file for this sage/devel/sage/
doc/en/constructions/calculus.rst ? Or is this file autogenerated from
some other file?

Thank you for your help during my work on these patches and thank you
also for Sage :)

Robert Marik
--~--~-~--~~~---~--~~
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: test if expression depends on another expression

2009-10-13 Thread ma...@mendelu.cz



On 13 říj, 16:08, rjf  wrote:
> Is x^2+3  free of x^6?
> Ordinarily I would think that if E is free of v, then one could vary v
> in any way, and not affect the value of E.
> If one varies x^6,  it is kind of difficult to keep x^2+3 constant.
>
> I suppose you could specify a program to search in an expression to
> see if x^6 occurs as a distinct subcomponent, but it probably wouldn't
> be too useful.  For example,
> does x^6 occur in x*(x^5+1)?
>
> I suggest you require that the value of v be a symbol.
> RJF
>

Thanks for clarification, I understand.

Robert Marik
--~--~-~--~~~---~--~~
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: notebook help needed

2009-10-14 Thread ma...@mendelu.cz

Do not know if this is relevant, but I get the message
It looks like jsMath failed to set up properly (error code -7).  I
will try to keep going, but it could get ugly.
when looking at published worksheets, like http://uw.sagenb.org/home/pub/4/

I do not have this problem with Sage 4.1.1

Firefox 3.0.14 and Win Vista,

Robert Marik


--~--~-~--~~~---~--~~
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: http://sagenb.org

2009-10-15 Thread ma...@mendelu.cz

Hello, I still have problem with jsmath mentioned at thread "notebook
help needed". See the copy below and Jason's reply. I have the error
message on sagenb.org and I can see Latex code instead of the formula.
No problem of this type with Version 4.1.1.

It would be nice if jsmath on sagenb.org would work from everywhere
without installing any font or anything. I have some students which
study during their emplyment, they access my study material and sage
notebooks from their offices and somtimes they cannot install any
software on these PC's. The same is with PC in lecture halls at our
university used for projection on lectures.

Many thanks if you look at this.

Robert Marik



-
> Do not know if this is relevant, but I get the message
> It looks like jsMath failed to set up properly (error code -7).  I
> will try to keep going, but it could get ugly.
> when looking at published worksheets, like http://uw.sagenb.org/home/pub/4/

> I do not have this problem with Sage 4.1.1

> Firefox 3.0.14 and Win Vista,

This is
http://wiki.sagemath.org/faq#IgetanerrorfromjsMathorthemathsymbolsdon...

Hmmm...are the jsmath image fonts spkg still installed on sagenb?
(that
spkg probably needs to be updated to copy itself to the right
directory
now).  My guess is that that is the problem.

Sagenb is running 4.1.1, so I think this is not a version thing, but
something to do with the sagenb switchover.

Jason



On 15 říj, 02:54, William Stein  wrote:
> Hi,
>
> Last night I switched the fullhttp://sagenb.orgover to use the new
> separate-from-Sage Sage notebook code.    In particular, this involves
> using code for which the evaluation and storage code has been
> rewritten.  I'm curious how it is working for people/courses/whatever.
>     If you usehttp://sagenb.orgor have students that use it, and
> have something to report, this would be a good thread in which to do
> so.  Is it generally better than before?  Did all your work vanish
> without a trace?  Is it broken for you?
>
> William
>
> --
> William Stein
> Associate 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] Re: http://sagenb.org

2009-10-15 Thread ma...@mendelu.cz



On 15 říj, 16:38, Jason Grout  wrote:
> Pat LeSmithe wrote:
> >  * Install *all* jsMath image fonts on sagenb.org
> >  * Silently fall back to using image fonts if TeX fonts are not available
>
> This is what was done in the sage notebook a few days ago.  William had
> installed the optional jsmath-image-fonts spkg a long time ago.  What
> probably happened is that no one rebased the jsmath-image-fonts to copy
> to the right javascript directory, and since these all moved around with
> the new notebook code, everything is broken with respect to this spkg now.
>
> A solution is to modify the spkg to install to the right location, and
> install it again on sagenb.org.
>

Installed 4.1.2. and the old spkg file with image fonts.
I got this error
I copied the image fonts from /opt/sage/local/notebook/javascript/
jsmath to /opt/sage/local/lib/python2.6/site-packages/sagenb/data/
javascript/jsmath and everything works fine.

Thank you for the pointers.

Robert Marik

--~--~-~--~~~---~--~~
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: http://sagenb.org

2009-10-15 Thread ma...@mendelu.cz


On 15 říj, 17:55, Jason Grout  wrote:
> ma...@mendelu.cz wrote:
>
> Thanks.  This issue is now tracked 
> athttp://trac.sagemath.org/sage_trac/ticket/7229
>

>From the manual I have an impression that it is sufficient to download
the spkg file, unpack, fix (perhaps only one line) in the install
script spkg-install, pack again as jsmath-image-fonts-1.4, test on
fresh install of 4.1.2 and post new spkg to trac server.

Right?

If yes, I can do it tomorrow (we have evening in Europe).

Robert M.
--~--~-~--~~~---~--~~
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: http://sagenb.org

2009-10-15 Thread ma...@mendelu.cz



On 15 říj, 18:57, William Stein  wrote:
> Yes.  And ping me as soon as you do it, since I can review it.
>
> William

The fixed spkg file is at 
http://user.mendelu.cz/marik/temp/jsmath-image-fonts-1.4.spkg
(cannot upload to trac server due to the filesize limit)

Robert
--~--~-~--~~~---~--~~
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 notebook servers

2009-10-16 Thread ma...@mendelu.cz



On 16 říj, 06:18, William Stein  wrote:
> Hi,
>
> For a grant proposal, I would like to assemble a list of people
> running Sage notebook servers either publicly or privately (but more
> than just for their own person use, of course, e.g. for their group),
> with maybe some statement about how the notebook server is being used.
>  This could be very helpful for a grant proposal.
>
> So if you're running a Sage notebook somewhere, could you answer these
> questions:
>
>1. Where? (E.g., "Dept. of Mathematics, University of Maryland")

Mendel University of Forestry and Agriculture, Brno, Czech Republic

>
>2. Why?   (E.g, "for our Math 411 course on differential equations")

Small server
* for basic course in Mathematics course at The Faculty of Regional
Development and International Studies (20 students in lab),
* for Advanced Mathematics for distant students at Faculty of Forestry
and Wood Technology (about 20 students)
* and also for any user from the university. (Not public, behind
firewall and accessible either from our campus or via proxy server of
our university)

Robert

>
> Thanks!!
>
> William
>
> --
> William Stein
> Associate 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] exporting worksheet as html

2009-10-16 Thread ma...@mendelu.cz

Hello all, trying to export worksheet in a form of html page which is
accesible even if the sage server is down or behind a firewall and
even if the user has no jsmath fonts.

My attempts include

* Print into PDF - poor quality of math and each math output is shown
two times in resulting file

* Print and save the resulting page as complete html - math is
converted into pictures (which is O.K.) but these pictures are shifted
if the user has some nonstandard settings (like bigger font -
depending on how good are her/his eyes a how big is her/his monitor) -
see e.g. http://user.mendelu.cz/marik/sage/ - the links from the list

It would help me (for example) if all occurences of regular
expressions (Emacs style)
\\newcommand{\\Bold}\[1\]{\\mathbf{#1}}\(.*?\)
\(.*?\)
\(.*?\)


were replaced by something like

http://wood.mendelu.cz/math/mathtex/mathtex.php?\1";>

Then each formula will be replaced by one picture and it will can be
saved together with the page.

Is it possible to define a kind of custom hooks which perform this
task when printing?
Or is it possible (for example) to force latex to compile all formulas
instead of jsMath?

Thank you
Robert M.

btw: I also think on the possibility to produce LaTeX code from Sage
worksheet. Is some of the Sage developers interested in difference
equations going to visit ICDEA 2009 in Estoril next week?
--~--~-~--~~~---~--~~
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: exporting worksheet as html

2009-10-16 Thread ma...@mendelu.cz



On 16 říj, 14:50, kcrisman  wrote:
> On Oct 16, 7:41 am, "ma...@mendelu.cz"  wrote:
>
> > Hello all, trying to export worksheet in a form of html page which is
> > accesible even if the sage server is down or behind a firewall and
> > even if the user has no jsmath fonts.
>
> > My attempts include
>
> > * Print into PDF - poor quality of math and each math output is shown
> > two times in resulting file
>
> Just out of curiosity, what version of Sage is that happening in?  I
> used pdf output last spring every day (for students to download) and
> never saw that.

4.1.2 and firefox on CentOS, the problem is also on uw.sagenb.org

I evaluated two commands on uw.sagenb.org , then used the blue link
print, then choosed in Firefox menu print, posctcript printer and
print to the file and finally used ps2pdf to get pdf.  Look at
http://user.mendelu.cz/marik/temp/a.pdf for result.

Robert

>
> Also, you may want to search the groups, especially sage-edu, for
> ongoing work by Rob Beezer to automate the process of creating pdfs
> and notebooks from TeX files, as there may be some ideas in those
> threads for the "reverse" problem.
>
> - kcrisman
--~--~-~--~~~---~--~~
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: exporting worksheet as html

2009-10-16 Thread ma...@mendelu.cz

On 16 říj, 15:38, William Stein  wrote:
>
> > btw: I also think on the possibility to produce LaTeX code from Sage
> > worksheet.
>
> That would be nice.  I've never seen an HTML -> Latex converter before
> (though there are many Latex-->HTML converters).
>

In fact, I had in mind something very primitive, based on regular
expressions and replacements, which will only work if the user uses
some small subset of html. We have formulas in LaTeX and, we can
easily translate stuff like  ... , few span tags etc and remove
the rest.

Do you think, it is possible?

Something like http://user.mendelu.cz/marik/maw/index.php?lang=en&form=integral
- you can try it - clik submit, on the new page submit again and so on
and is you are satisfied with your computation, click "build PDF"
bottom right. You get PDF which shows what you have seen on html page.

Robert
--~--~-~--~~~---~--~~
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: finding arclength around a circle hangs maxima

2009-10-16 Thread ma...@mendelu.cz

To have more fun, I have this:

ma...@asus-eee:/opt/sage$ ./sage
--
| Sage Version 4.1.2, Release Date: 2009-10-14   |
| Type notebook() for the GUI, and license() for information.|
--
sage: t=var('t')
sage: a=sqrt((sin(t))^2 + (cos(t))^2)
sage: integrate(a, t, 0, 2*pi)
pi
sage:

And this is maxima session:

;;; Loading #P"/opt/sage/local/lib/ecl/defsystem.fas"

;;; Loading #P"/opt/sage/local/lib/ecl/cmp.fas"

;;; Loading #P"/opt/sage/local/lib/ecl/sysfun.lsp"

Maxima 5.19.1 http://maxima.sourceforge.net

Using Lisp ECL 9.8.4

Distributed under the GNU Public License. See the file COPYING.

Dedicated to the memory of William Schelter.

The function bug_report() provides bug reporting information.

(%i1) 0;sconcat("__SAGE_SYNCHRO_MARKER_",(1784072509+1));

(%o1)  0

(%o2)  __SAGE_SYNCHRO_MARKER_1784072510

(%i3) display2d:false; domain: complex; keepfloat: true; load
(topoly_solver);



(%o3) false



(%o4) complex



(%o5) true



(%o6) "/opt/sage/local/share/maxima/5.19.1/share/contrib/
topoly_solver.mac"

(%i7) 0;sconcat("__SAGE_SYNCHRO_MARKER_",(572821093+1));



(%o7) 0



(%o8) "__SAGE_SYNCHRO_MARKER_572821094"

(%i9) nolabels:true;



(%o9) true

(%i10) :lisp (defun tex-derivative (x l r) (tex (if $derivabbrev (tex-
dabbrev x) (tex-d x '\\partial)) l r lop rop ))

0;sconcat("__SAGE_SYNCHRO_MARKER_",(86715755+1));



TEX-DERIVATIVE

(%i10) 

(%o10) 0



(%o11) "__SAGE_SYNCHRO_MARKER_86715756"

(%i12) 0;



(%o12) 0

(%i13) sage0 : (((sin(t))^(2))+((cos(t))^(2)))^(1/2)$



(%i14) 0;sconcat("__SAGE_SYNCHRO_MARKER_",(1995813336+1));



(%o14) 0



(%o15) "__SAGE_SYNCHRO_MARKER_1995813337"

(%i16) sage1 : t$



(%i17) 0;sconcat("__SAGE_SYNCHRO_MARKER_",(1953885597+1));



(%o17) 0



(%o18) "__SAGE_SYNCHRO_MARKER_1953885598"

(%i19) sage2 : 0$



(%i20) 0;sconcat("__SAGE_SYNCHRO_MARKER_",(333161657+1));



(%o20) 0



(%o21) "__SAGE_SYNCHRO_MARKER_333161658"

(%i22) sage3 : (%pi)*(2)$



(%i23) 0;sconcat("__SAGE_SYNCHRO_MARKER_",(779811+1));



(%o23) 0



(%o24) "__SAGE_SYNCHRO_MARKER_779812"

(%i25) sage4 : integrate(sage0,sage1,sage2,sage3)$



(%i26) kill(sage3)$kill(sage2)$kill(sage1)$kill(sage0)$kill(sage3)$kill
(sage2)$kill(sage1)$kill(sage0)$0;sconcat("__SAGE_SYNCHRO_MARKER_",
(2067936922+1));



(%o30) 0



(%o31) "__SAGE_SYNCHRO_MARKER_2067936923"

(%i32) sage5 : 0$



(%i33) 0;sconcat("__SAGE_SYNCHRO_MARKER_",(1769152096+1));



(%o33) 0



(%o34) "__SAGE_SYNCHRO_MARKER_1769152097"

(%i35) sage6 : gen(sage5)$



(%i36) kill(sage5)$kill(sage5)$0;sconcat("__SAGE_SYNCHRO_MARKER_",
(1390469140+1));



(%o37) 0



so maxima is doing

sage0 : (((sin(t))^(2))+((cos(t))^(2)))^(1/2)$
sage1 : t$
sage2 : 0$
sage3 : (%pi)*(2)$
sage4 : integrate(sage0,sage1,sage2,sage3)

Lets try it:

--
| Sage Version 4.1.2, Release Date: 2009-10-14   |
| Type notebook() for the GUI, and license() for information.|
--
sage: t=var('t')
sage: a=sqrt((sin(t))^2 + (cos(t))^2)
sage: integrate(a, t, 0, 2*pi)
pi
sage: maxima("(sage0:(((sin(t))^(2))+((cos(t))^(2)))^(1/2),sage1 : t,
sage2 : 0, sage3 : (%pi)*(2), sage4 : integrate
(sage0,sage1,sage2,sage3))")
%pi


Tests within maxima
1. maxima from debian package:
ma...@asus-eee:~$ maxima --batch-string="integrate(sqrt(sin(x)^2+cos(x)
^2),x,0,2*%pi);"

Maxima 5.13.0 http://maxima.sourceforge.net
Using Lisp GNU Common Lisp (GCL) GCL 2.6.7 (aka GCL)
Distributed under the GNU Public License. See the file COPYING.
Dedicated to the memory of William Schelter.
This is a development version of Maxima. The function bug_report()
provides bug reporting information.
  2 2
(%i1)   integrate(sqrt(sin (x) + cos (x)), x, 0, 2 %pi)
(%o1)2 %pi
ma...@asus-eee:~$

2. maxima in Sage:
ma...@asus-eee:/opt/sage$ ./sage
--
| Sage Version 4.1.2, Release Date: 2009-10-14   |
| Type notebook() for the GUI, and license() for information.|
--
sage: maxima("integrate(sqrt(sin(t)^2+cos(t)^2),t,0,2*%pi)")
%pi
sage:


Broken version of Maxima? Did Maxima in Sage passed tests? Maxima
commes with many tests from upstream. Have these tests been tested?

Robert














On 16 říj, 20:28, Jason Grout  wrote:
> Something is seriously wrong with simple integration in 4.1.2:
>
> sage: a=sqrt((sin(t))^2 + (cos(t))^2)
> sage: integrate(a, t, 0, 2*pi) # WRONG!
> pi
> sage: a.simplify_full().simplify_trig()
> 1
> sage: integrate(a.simplify_full().simplify_trig(), t, 0, 2*pi)
> 2*pi
>
> Any idea what is g

[sage-devel] Re: finding arclength around a circle hangs maxima

2009-10-16 Thread ma...@mendelu.cz

I am. I will write there.

Robert

On 16 říj, 22:23, Jason Grout  wrote:
> kcrisman wrote:
> > This was the Maxima upgrade, for sure.  It is not in 4.1.1 (just
> > checked) and is in the latest CVS of Maxima (just checked that, too).
> > I can't submit a bug report to them right now - can you email their
> > list (I think you're on it?) and see if they know about it?
>
> I'm not on their list.  I hope Robert Dodier or someone else sees this.
>
> Thanks,
>
> Jason
--~--~-~--~~~---~--~~
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: finding arclength around a circle hangs maxima

2009-10-16 Thread ma...@mendelu.cz



On 16 říj, 22:44, "ma...@mendelu.cz"  wrote:
> I am. I will write there.
>
it is http://thread.gmane.org/gmane.comp.mathematics.maxima.general/28550
R.
--~--~-~--~~~---~--~~
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: finding arclength around a circle hangs maxima

2009-10-16 Thread ma...@mendelu.cz

A should we open trac and add test if this has been fixed?

On 16 říj, 23:14, Maurizio  wrote:
> to me, this looks like a strong encouragement to provide sage 4.1.3
> with a couple of bugfixes (also considering something that could arise
> from the new notebook) anytime very soon: I don't think it is a good
> idea to have a release with such a serious bug, out for too long...
> the problem is that I wouldn't like to switch back to an old maxima,
> so we should at least wait for them fixing it... maybe we can help on
> that
>
> regards
>
> Maurizio
>
> On 16 Ott, 22:55, "ma...@mendelu.cz"  wrote:
>
> > On 16 říj, 22:44, "ma...@mendelu.cz"  wrote:> I am. I 
> > will write there.
>
> > it ishttp://thread.gmane.org/gmane.comp.mathematics.maxima.general/28550
> > R.
--~--~-~--~~~---~--~~
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: finding arclength around a circle hangs maxima

2009-10-16 Thread ma...@mendelu.cz



On 17 říj, 00:40, Robert Dodier  wrote:
> On Oct 16, 2:23 pm, Jason Grout  wrote:
>
> > I'm not on their list. I hope Robert Dodier or someone else sees this.
>
> Probably it's best to submit Maxima bugs to the bug 
> tracker.http://sourceforge.net/tracker/?func=browse&group_id=4933&atid=104933
>

Thanks, reported as bug No 2880797

> FWIW
>
> Robert Dodier
--~--~-~--~~~---~--~~
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: Incorrect definite integral

2009-10-16 Thread ma...@mendelu.cz

>
> This is also present in the Maxima current CVS version.  Someone may
> want to report this to the Maxima bug tracker - I cannot right now.
>

Old Maxima 5.18 has the same problem.

I reported this as ID 2880886, since the problem seems to be different
one than 
https://sourceforge.net/tracker/?func=detail&aid=2880797&group_id=4933&atid=104933

Robert
--~--~-~--~~~---~--~~
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: Incorrect definite integral

2009-10-17 Thread ma...@mendelu.cz



On 17 říj, 12:42, Harald Schilly  wrote:
> On Oct 17, 8:18 am, "ma...@mendelu.cz"  wrote:
>
> > I reported this as ID 2880886,  ...
>
> Thanks. Out of curiosity, i tried this integral with sympy. This ends
> up to take minutes or longer. Should we report this as a bug, too?
>
> integrate(cos(x)^2 * (1 + sin(x)^2)^-3,x,0,pi/2, algorithm='sympy')
>

and woflram alpha does not evaluate the integral (returns numerical
approximation)
R.

> H
--~--~-~--~~~---~--~~
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] Can Sage solve inequalities?

2009-10-17 Thread ma...@mendelu.cz

Hello all,

does Sage solve inequlitites? According to Maxima mail list (
http://thread.gmane.org/gmane.comp.mathematics.maxima.general/28497/focus=28530
) Maxima can do at elast someting in this area. I was not able to find
out, wheather Sage can somehow solve ineqaulities - via maxima or via
another way. Can it?

Robert Marik


--~--~-~--~~~---~--~~
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: Can Sage solve inequalities?

2009-10-17 Thread ma...@mendelu.cz

btw: I was able to find only this:
http://groups.google.cz/group/sage-devel/browse_thread/thread/c5990ef9e797109e/e7bf439813a6489c?lnk=gst&q=inequality#e7bf439813a6489c

On 17 říj, 19:21, "ma...@mendelu.cz"  wrote:
> Hello all,
>
> does Sage solve inequlitites? According to Maxima mail list 
> (http://thread.gmane.org/gmane.comp.mathematics.maxima.general/28497/f...
> ) Maxima can do at elast someting in this area. I was not able to find
> out, wheather Sage can somehow solve ineqaulities - via maxima or via
> another way. Can it?
>
> Robert Marik
--~--~-~--~~~---~--~~
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: Is this a bug?

2009-10-17 Thread ma...@mendelu.cz

You have to use finer mesh / more points in such cases

u = var('u')
parametric_plot3d( (u*sin(u), u*cos(u), u), (u, 0,
100),plot_points=500,viewer='tachyon')

(I tested it with viewer tachyon since I do not have java on current
machine)

Hope this helps
Robert

On 17 říj, 20:00, QuantumDream  wrote:
> OK, so  ,there is the plot_points option, but shouldn't the default
> value of the plot_point be a function of the range?
> Anyway, it's not a big deal for me, but maybe for my Calc students :)
>
> Best,
> -M.
>
> On Oct 17, 12:51 pm, QuantumDream  wrote:
>
> > I'm running Sage4.1.1 on a 32-bit Ubuntu 9.04 laptop w/ FF, and there
> > is a HUGE difference between the outputs of the following two
> > commands:
>
> > u = var('u')
> > parametric_plot3d( (u*sin(u), u*cos(u), u), (u, 0, 50))
>
> > vs.
>
> > u = var('u')
> > parametric_plot3d( (u*sin(u), u*cos(u), u), (u, 0, 100))
>
> > The first gives what is expected, a smooth helix on the surface of a
> > cone, but the 2nd one gives a highly coarse rendition of that curve.
> > See a pic 
> > here:http://www.mediafire.com/imageview.php?quickkey=yeewzcnktix&thumb=5
>
> > Can anyone confirm this?
>
> > Best,
> > -M.
--~--~-~--~~~---~--~~
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: Can Sage solve inequalities?

2009-10-17 Thread ma...@mendelu.cz

--
| Sage Version 4.1.2, Release Date: 2009-10-13   |
| Type notebook() for the GUI, and license() for information.|
--
sage: a=  x^2+5*x+6 < 0
sage: b=a._maxima_()
sage: b.parent().eval("load(solve_rat_ineq)")
'"/opt/sage-4.1.2-linux-Debian_GNU_Linux_5.0.3_lenny-i686-Linux/local/
share/maxima/5.19.1/share/contrib/solve_rat_ineq.mac"'
sage: b.solve_rat_ineq
()
[[x>-3,x<-2]]
sage: a=  x^2+5*x+6 <= 0
sage: b=a._maxima_()
sage: b.solve_rat_ineq()
[[x>=-3,x<=-2]]
sage:



Hm, probably this is the only available way how to solve inequalities
and at least the wrapper should be written.
I can try it, but not within these 14 days.

Robert



--~--~-~--~~~---~--~~
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: Can Sage solve inequalities?

2009-10-17 Thread ma...@mendelu.cz

On 17 říj, 23:27, Robert Dodier  wrote:
> ma...@mendelu.cz wrote:
> > does Sage solve inequlitites? According to Maxima mail list (
> >http://thread.gmane.org/gmane.comp.mathematics.maxima.general/28497/f...
> > ) Maxima can do at elast someting in this area. I was not able to find
> > out, wheather Sage can somehow solve ineqaulities - via maxima or via
> > another way. Can it?
>
> Maybe the Maxima share package fourier_elim is useful to you.
> There is no documentation, but there are some examples in
> rtest_fourier_elim.mac. Also look in the mailing list archive for
> some mention of it. I'm sure the author (Barton Willis) would be
> happy to answer questions posted to the mailing list.
>

Many thanks for this information! Very interesting!

Robert

> FWIW
>
> Robert Dodier
--~--~-~--~~~---~--~~
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: Can Sage solve inequalities?

2009-10-20 Thread ma...@mendelu.cz



On 17 říj, 21:17, William Stein  wrote:
> > Hm, probably this is the only available way how to solve inequalities
> > and at least the wrapper should be written.
> > I can try it, but not within these 14 days.
>
> Wow, that's awesome.  You should definitely try two weeks from now!!

Despite my previous posts, I am working on this, hope to finish within
two weeks :)

* I foud a bug (and a solution how to fix) in solve_rat_ineq -- I will
report it in Maxima forum as soon as possible
* the maxima expression x#0  (x is not equal 0) has no meaning in
Sage. If the answer from Maxima contains x#0 and  this answer is in
variable sol, then
sage: sol.sage()
fails. I have no idea how and where could fix it. Can somebody add
this feature to Sage? Thanks.

Robert

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



[sage-devel] Re: Can Sage solve inequalities?

2009-10-20 Thread ma...@mendelu.cz

>
> This is already fixed on Trac # 1163, waiting for review - I hope this
> does what you need.  In fact, if you could review that, # 385, and #
> 3914, I think they are all related to things you are working on, so
> that would be very helpful.
>

Thanks for your answer

The patches are nice and important, but have in this week very limited
access to Sage to test these patchs.

And another problem is, that I am completely new in Sage and Python. I
think that the tickets should be closed by some priviledges skilled
developers. Is this the case in Sage?

Robert
--~--~-~--~~~---~--~~
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] Tests, forget and trac 7084, perhaps nother bug?

2009-10-25 Thread ma...@mendelu.cz

Hello all, I looked at trac 7084 http://trac.sagemath.org/sage_trac/ticket/7084

* If I enter the commands from test section in

sage: var('m')
m
sage: assume(n, 'integer'); assume(m, 'integer')

into Sage session (4.2), then Sage hangs. I have to enter also var
('n') to continue in Sage notebook without hanging. However, if I
run ./sage -t devel/sage/sage/symbolic/assumptions.py , then the tests
are O.K. It is to be surprising for me. Why does

sage: assume(n, 'integer'); assume(m, 'integer')

hang Sage in notebook and not when running tests?



* I think that forget does not work as excepted, see the following
Sage session and the last three outputs.

Robert

--
| Sage Version 4.2, Release Date: 2009-10-24 |
| Type notebook() for the GUI, and license() for information.|
--
Loading Sage library. Current Mercurial branch is: kopie
sage: var('m')
m
sage: n

sage: var('n')
n
sage: assume(n, 'integer'); assume(m, 'integer')
sage: sin(n*pi).simplify()
0
sage: sin(m*pi).simplify()
0
sage: forget()
sage: sin(m*pi).simplify()
0
sage: sin(n*pi).simplify()
sin(pi*n)
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: Can Sage solve inequalities?

2009-10-27 Thread ma...@mendelu.cz



> > > > Hm, probably this is the only available way how to solveinequalities
> > > > and at least the wrapper should be written.
> > > > I can try it, but not within these 14 days.


The patch is here: http://trac.sagemath.org/sage_trac/ticket/7325


Robert
--~--~-~--~~~---~--~~
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] latex representation for expresions like 1.42531324e-41

2009-10-30 Thread ma...@mendelu.cz

Hello all

The latex representation of numbers in scientific notation works as
excepted, unless we have these numbers as results from numerical
integral. Compare the last two outputs i nthe session below. Why is

sage: latex(A[1])
1.66533453694e-14

and not

sage: latex(A[1])
1.66533453694 \times 10^{-14}

?


[ma...@um-bc107 /opt/sage-4.2]$ ./sage
--
| Sage Version 4.2, Release Date: 2009-10-24 |
| Type notebook() for the GUI, and license() for information.|
--
Loading Sage library. Current Mercurial branch is: kopie
sage: A=integral_numerical(x,2,1)
sage: A
(-1.5, 1.6653345369377348e-14)
sage: latex(A[1])
1.66533453694e-14
sage: latex(1.4565421654e-15)
1.4565421654 \times 10^{-15}
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: latex representation for expresions like 1.42531324e-41

2009-10-30 Thread ma...@mendelu.cz



On 30 říj, 08:32, William Stein  wrote:
>
> Obviously, it would be nice if the latex command were improved so it
> is aware of Python floats.  That would be a nice enhancement you
> can contribute to sage.

Thank you for quick answer. Can you give me few pointers where to fix
it?

Robert

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



[sage-devel] Re: latex representation for expresions like 1.42531324e-41

2009-10-30 Thread ma...@mendelu.cz

On 30 říj, 08:49, William Stein  wrote:
>
> There is a table in there called latex_table.   You have to
> add an entry of the form
>
>float:float_function
>
> where you might first try something like this just to get it to work:
>
> def float_function(x):
> from sage.rings.all import RR
> return RR(x)._latex_()
>

Thanks, I fixed this, running tests now and then I'll open trac and
submit a patch.

Your solution produces output like 1.\times 10^{32} for input
like latex(float(1e+32)) and hence I choosed slightly different
solution (essentially the method _latex_() from the file which defines
latex representation for real numbers but without calling RR).

Thank you very much
Robert M.
--~--~-~--~~~---~--~~
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] maxima-init.lisp file

2009-10-30 Thread ma...@mendelu.cz

Hello all,

I wondered for longer time, why I got error which nobody reported (see
the bottom of this message).

Now I found the explanation: I have ~/.maxima/maxima-init.lisp file
with the following line:

:lisp(setf (get '%sin 'tex) nil)

The reason for this file is to get "sin(x)" instead of "sin x" when
exporting sine function from Maxima to TeX.

This file caused the error in tests. Removing this file solves the
problem.

So my question is: Is it O.K. to use user's own (or system's) maxima-
init.lisp file in Sage? The user may have some nonstadard settings in
this file, which could cause unexpected behavior of Sage.

Or will we suppose that only experienced users have maxima-init.lisp
file and they should know what they are doing?


Robert Marik



[ma...@um-bc107 /opt/sage-4.2]$ ./sage -t  "devel/sage/sage/interfaces/
maxima.py"
sage -t  "devel/sage/sage/interfaces/maxima.py"
**
File "/opt/sage-4.2/devel/sage/sage/interfaces/maxima.py", line 383:
sage: latex(maxima('sin(u) + sinh(v^2)'))
Expected:
\sinh v^2+\sin u
Got:
\sinh v^2+\sin \left(u\right)
**

--~--~-~--~~~---~--~~
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: deprecation policy

2009-11-01 Thread ma...@mendelu.cz

perhaps a vocabulary (simple html page or whatever else) which
translates old names into new names would be also useful.

On 1 lis, 16:37, Ralf Hemmecke  wrote:
> What about deprecation warning and moving the deprecated functionality
> to an optional package in the next version of Sage with a clear notice
> that there is no official support for this optional package.
>
> Ralf
--~--~-~--~~~---~--~~
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: Should trac has a 'report upstream' pull-down?

2009-11-04 Thread ma...@mendelu.cz

> We might also have an option for "fixed in our version", as many times
> we will patch an spkg and simultaneously report it upstream.  When we
> eventually get the upstream fix in an update, we delete our patch.
>

In other words, is this preferred way to fix broken Maxima commands?

1. Fix in maxima.spkg
2. Add test that the fixed spkg is used.

I am asking because of work on trac 
http://trac.sagemath.org/sage_trac/ticket/7325
(fixed in CVS Maxima few days ago). I fixed Maxima part in python code
in the patch submitted to this trac, which seems to be not accepted.

And what about http://trac.sagemath.org/sage_trac/ticket/6479 where I
fixed maxima commands ic2 and bc2 directly in Python code (lines
322-328 and 341--346). Should this ticket been reopened and ic2, bc2
fixed as described above?

Robert


--~--~-~--~~~---~--~~
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] where can i find history of simplify_trig

2009-11-08 Thread ma...@mendelu.cz

Dear developers, I looked into sage/symbolics/expressions.pyx and the
definition of simplify_trig().

This funciton applies trigsimp and trigexpand from Maxima and as a
result,
sage: (tan(3*x)).simplify_full()
gives terrible result
(4*cos(x)^2 - 1)*sin(x)/(4*cos(x)^3 - 3*cos(x))

Despite the fact ther there is more elaborated interface to expansion
of trigonometric functions in expand_trig, simplify_full blindly
applies trigexpand.

I was not able to find in tracs, why has this bee added.

Can out find out why is this trigexpand function present in
simplify_trig()?
Are there objections to remove it?

many thanks
Robert

btw: I improved support for logcontract at 
http://trac.sagemath.org/sage_trac/ticket/7334
, feel free to review or add comments.
--~--~-~--~~~---~--~~
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: Can Sage solve inequalities?

2009-11-09 Thread ma...@mendelu.cz

> > * the maxima expression x#0  (x is not equal 0) has no meaning in
> > Sage. If the answer from Maxima contains x#0 and  this answer is in
> > variable sol, then
> > sage: sol.sage()
> > fails. I have no idea how and where could fix it. Can somebody add
> > this feature to Sage? Thanks.
>
> This is already fixed on Trac # 1163, waiting for review - I hope this
> does what you need.  

I do not think so. I installed this patch and the command
sage:  maxima("x#0").sage()
gives still error: TypeError: unable to make sense of Maxima
expression 'x#0' in Sage

Anyway, I uploaded new patch and hope that problem related to parsing
# will be solved in another patch.

Many thanks for info.
Robert
--~--~-~--~~~---~--~~
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: bool() on an inequality

2009-11-11 Thread ma...@mendelu.cz

On 11 lis, 12:45, Carlo Hamalainen  wrote:
> Hi,
>
> This is weird:
>
> sage: p = var('p')
> sage: q = var('q')
> sage: assume(p >= 0)
> sage: assume(q >= 0)
> sage: assume(p <= 1)
> sage: assume(q <= 1)
> sage: bool(p**2 <= 1)
> True
> sage: bool(q**2 <= 1)
> True
> sage: bool(p**2 + q**2 <= 2)
> False

I think that assume facitlity is not strong enough to solve similar
problems.

R.
--~--~-~--~~~---~--~~
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] Adding new functions for specific tasks related (logarithm, rational functions, ....)

2009-11-12 Thread ma...@mendelu.cz

Dear readers of sage-devel

This is related to  Ticket #7334 http://trac.sagemath.org/sage_trac/ticket/7334
which introduces new function for contracting logarithms, expanding
logarithms, reducing powers of trigonometric functions and simplifying
rational expressions.


--
Burcin wrote:
I really dislike the idea of adding a new function for each
functionality of this kind. This makes it very hard for users to
figure out the function name they need for a specific task.

We should be able to provide an interface to all these "rewriting"
tasks through a few conceptually defined methods like rewrite(), expand
() and combine()( or contract()?).

Francois Maltey had a proposal for a possible interface to all this.
Maybe he can comment here, or we can discuss his proposal on sage-
devel.
--


It would be great to find some simple and clean solution which gives
access to many posibilities included in Maxima or/and other CAS. I
think that if we take into account the many possibilities how to
simplify expressions, it will be difficult to do this job.

I think that it is better to have small functions which do their small
job - they do what the user wants. I think that this is Maxima
approach. I do not like the approach in Maple and Mathematica, where
user has one big command for many simplifications and it is not easy
to find out, what to do, if we do not want to use some of
simplifications and rewriting rules included in this big command.

If such a complete solution for rewriting tasks appears, it would be
great to give to the users enough power for fine tunning, like current
expand_trig()

Thanks.
Robert
--~--~-~--~~~---~--~~
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: Adding new functions for specific tasks related (logarithm, rational functions, ....)

2009-11-12 Thread ma...@mendelu.cz

On 12 lis, 15:17, Francois Maltey  wrote:
> So imagine a Sage 4.xyz with
>
> y = log(2)+log(3)+exp(2)*exp(3)
> contract (y) # log(6)+exp(5)
> contract(y, target=log)   # log(6)+exp(2)*exp(3)
> contract(y, target=exp)   # log(2)+log(3)+exp(5)
>
> An other option may be a predicate select in order to restrain the
> tested subexpression.
>
> contract (exp(x+1)*exp(x-1)*exp(y), target=exp, select=lambda subexpr :
> has(subexpr, x))
> # the answer will be exp(2*x)*exp(y)

Sound good, thanks. I look forward to Sage 4.xyz :)
Thank you for your long and detailed answer.

Robert
--~--~-~--~~~---~--~~
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: Adding new functions for specific tasks related (logarithm, rational functions, ....)

2009-11-12 Thread ma...@mendelu.cz

On 12 lis, 16:38, Burcin Erocal  wrote:
> Care to help?

Many thanks but  I do not know anything about programming. I can
write simple artless scripts and thats all. I also do not know enough
from complex analysis, know nothing about computer algorithms and so
on. I think that nobody would be interested in CAS with code from
complete beginner.

I like opensource software and math, but have not enough knowledges to
bring significant contribution in this topic.


Could the conclusion be the following?
"If you want (and if the realease manager includes corresponding
patches), add support for Maxima commands which you need. When python
of ginac will be able to replace these commands, these interfaces to
Maxima commands will be removed."


Robert


--~--~-~--~~~---~--~~
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: Adding new functions for specific tasks related (logarithm, rational functions, ....)

2009-11-13 Thread ma...@mendelu.cz

On 13 lis, 14:30, Burcin Erocal  wrote:
> On Thu, 12 Nov 2009 12:30:01 -0800 (PST)
>
> "ma...@mendelu.cz"  wrote:
> > Could the conclusion be the following?
> > "If you want (and if the realease manager includes corresponding
> > patches), add support for Maxima commands which you need. When python
> > of ginac will be able to replace these commands, these interfaces to
> > Maxima commands will be removed."
>
> I am really reluctant to keep adding functions, since they would have
> to be maintained for a long time because of the deprecation policy.
>
> Let's see if we can quickly come up with a "clean" solution in the
> next couple of days.

Seems as a very good suggestion.

My techaer of english told me once, that "couple of days" means
"exactly two days" :). Is it true? If yes, then I think that a couple
of weeks or couple of months are also convenient and perhaps better,
since we have to introduce new general concept. If I will be able to
work on the problem (despite very limited knowledge of programming), I
will be happy to help with this task. At least with testing and
reporting bugs.

Thank you.
Robert


--~--~-~--~~~---~--~~
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: Adding new functions for specific tasks related (logarithm, rational functions, ....)

2009-11-14 Thread ma...@mendelu.cz



On 14 lis, 18:30, Francois Maltey  wrote:
> a'-Extract and test sin in sin(x) is easy, but recognize the + in x+y is
> heavy.
>

And perhaps even worse for x+z+z+z_1

The paper of RJF can be perhaps useful (examples written in Maxima,
but general ideas) to deal with addition and multiplication:
http://www.cs.berkeley.edu/~fateman/papers/partition.pdf

Robert
--~--~-~--~~~---~--~~
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: Which software to write Sage code ?

2009-11-17 Thread ma...@mendelu.cz



On 17 lis, 13:00, Mike Hansen  wrote:
> Hello,
>
> On Tue, Nov 17, 2009 at 4:32 PM, Nathann Cohen  
> wrote:
> > I am using Emacs ( and I am interested in knowing which softwares you
> > are using ), but so far I mainly failed to convince people this was
> > also the best option for them.
>
> I use Emacs for everything.
>

Me to. And the others can use any other editor (PSPad, gvim,
joe, ). It would be painfull to use another editor for Sage,
another for LaTeX, another for .. Let everybody uses his favorit
editor. I use Emacs for everything, but I would not convince people
this is also the best option for them.

Robert
--~--~-~--~~~---~--~~
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: solve([x==x],x)

2009-11-18 Thread ma...@mendelu.cz
On 18 lis, 21:49, Harald Schilly  wrote:
> I got this from the "report a problem" form, confirmed in 4.2.1
>
> sage: solve([x==x],x)
> gives an exception.
>
> Maxima says this:
> $ maxima -q
> (%i1) solve([x=x],x);
> (%o1)                                 all
> (%i2)

Similar problem is
solve(SR(0),x)

and another problem is
solve(0,x)
- but both these cases are highly improbable. Should be the second one
fixed or no?

I think that it is easy to catch the answer 'all' in the maxima output
and change into anything we want on output, but the question is, what
should be the output of solve([x==x],x) and solve([x==x],x,
solution_dict=True) in Sage

btw:

sage: y=var('y')
sage: solve([x==x,y==y],[x,y])
[[x == r2, y == r1]]
sage:

I did not look to the Maxima code (can look tomorow, we have a
midnight in five minutes), but from the test like above it seems that
the answer 'all' appears only for equations in one variable.

Robert

-- 
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: solve([x==x],x)

2009-11-18 Thread ma...@mendelu.cz


On 18 lis, 23:54, "ma...@mendelu.cz"  wrote:
> On 18 lis, 21:49, Harald Schilly  wrote:
>
> > I got this from the "report a problem" form, confirmed in 4.2.1
>
> > sage: solve([x==x],x)
> > gives an exception.
>
> > Maxima says this:
> > $ maxima -q
> > (%i1) solve([x=x],x);
> > (%o1)                                 all
> > (%i2)
>
> Similar problem is
> solve(SR(0),x)
>
> and another problem is
> solve(0,x)
> - but both these cases are highly improbable. Should be the second one
> fixed or no?
>
> I think that it is easy to catch the answer 'all' in the maxima output
> and change into anything we want on output, but the question is, what
> should be the output of solve([x==x],x) and solve([x==x],x,
> solution_dict=True) in Sage
>
> btw:
>
> sage: y=var('y')
> sage: solve([x==x,y==y],[x,y])
> [[x == r2, y == r1]]
> sage:
>
> I did not look to the Maxima code (can look tomorow, we have a
> midnight in five minutes), but from the test like above it seems that
> the answer 'all' appears only for equations in one variable.


Related Maxima code is at
http://maxima.cvs.sourceforge.net/viewvc/maxima/maxima/src/solve.lisp?revision=1.25&view=markup

  146  ;; Deal with special cases.
  147  (cond
  148;; Trivially true equations for any set of variables.
  149((equal eql '(0))
  150 (return '$all))
  151
  152;; Trivially false equations: return []
  153((or (null varl) (null eql))
  154 (return (make-mlist-simp)))


Another fast solution is to patch maxima file solve.lisp and replace
line 150 by something which is more resonable in Sage, but this may
break some maxima tests. Btw: is maxima build tested? (I mean the test
suite which comes with maxima, not the tests within Sage.)

R.

>
> Robert

-- 
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: solve([x==x],x)

2009-11-18 Thread ma...@mendelu.cz
> [x==r1] would be consistent with the multivariable case; I like that
> better than True or [x==x], for example.
>

Does this mean [x==r1] when called for the first time, [x==r2] when
for the secod time and so on?

Look at the example below.

Robert

--
| Sage Version 4.2.1, Release Date: 2009-11-14   |
| Type notebook() for the GUI, and license() for information.|
--
Loading Sage library. Current Mercurial branch is: magic_variables
sage: y=var('y'); solve([x==x,y==y],[x,y])
[[x == r2, y == r1]]
sage: y=var('y'); solve([x==x,y==y],[x,y])
[[x == r4, y == r3]]
sage: y=var('y'); solve([x==x,y==y],[x,y])
[[x == r6, y == r5]]
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: solve([x==x],x)

2009-11-18 Thread ma...@mendelu.cz


On 19 lis, 04:47, kcrisman  wrote:
> > [x==r1] would be consistent with the multivariable case; I like that
> > better than True or [x==x], for example.
>
> I think that makes sense, especially with the to_poly_solve update
> recently merged, which uses that syntax.  Robert, perhaps the
> inequality patch should return x==r1 as well instead of 'all' in a
> similar situation, then?  Just a thought.  But don't patch Maxima -
> just catch it on the Sage end.

This could be, but the inequality solvers  in Maxima never return (I
think) r1, r2, 

What about x>-Infinity ?
Robert

>
> - kcrisman

-- 
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: solve([x==x],x)

2009-11-18 Thread ma...@mendelu.cz


On 19 lis, 07:35, "ma...@mendelu.cz"  wrote:
> > [x==r1] would be consistent with the multivariable case; I like that
> > better than True or [x==x], for example.
>
> Does this mean [x==r1] when called for the first time, [x==r2] when
> for the secod time and so on?
>

Do not know where to find the next free variable. I will patch in such
a way that it returns [x==r1] in all cases and
([x=r1],[]) for multiplicities:True.
O.K.?

Is now http://trac.sagemath.org/sage_trac/ticket/7491  (I was not able
to find related ticket, perhaps never reported)

Robert

-- 
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] missing \left and \right when translating product to latex

2009-11-21 Thread ma...@mendelu.cz
Dear developers

The following LaTeX exporession is not nice

sage: latex(x*(1/(x^2)+sqrt(x^7)))
{(\sqrt{x^{7}} + \frac{1}{x^{2}})} x

far better would be

sage: latex(x*(1/(x^2)+sqrt(x^7)))
{\left(\sqrt{x^{7}} + \frac{1}{x^{2}}\right)} x



Is the following code from pynac from file mul.cpp  responsible for
converting product into LaTeX? What is wrong with this. code? I see
some \left and \right, but these commands do not appear in output of
latex command.

bool parenthesis = ((coeffstr.find(' ') !=
std::string::npos)||
(coeffstr.find('+') != std::string::npos) ||
(coeffstr.find('-') != std::string::npos));// ||
//(coeffstr.find('/') != std::string::npos) ||
//(coeffstr.find('*') != std::string::npos) ||
//(coeffstr.find('^') != std::string::npos));
if (!coeff.is_equal(*_num1_p) &&
(!coeff.is_equal(*_num_1_p) || coeff.is_parent_pos_char
())) {
if (parenthesis) {
if (latex)
c.s << "\\left(";
else
c.s << '(';
}
c.s

[sage-devel] Re: Sage 4.3.alpha0 released!

2009-11-22 Thread ma...@mendelu.cz
Thanks Mike
I wonder how tickets with positive review are merged into Sage. The
following two have positive review and were not included. Is something
wrong with the patches? Or should the tickets simply wait for
inclusion?

http://trac.sagemath.org/sage_trac/ticket/7325
http://trac.sagemath.org/sage_trac/ticket/6479

Many thanks
Robert

On 22 lis, 06:53, Mike Hansen  wrote:
> Hello all,
>
> Sage 4.3.alpha0 is out!   Sage 4.3 now contains much of the new
> categories code from the sage-combinat team!  It's been in development
> for quite awhile, and it's great to finally get it in.  There is one
> known failure in sage/interfaces/maxima.py caused by #7401.  This
> issue will be fixed in alpha1 when it comes out.
>
> Source and binary are available at
>
> http://sage.math.washington.edu/home/mhansen/release/4.3/alpha0/sage-...http://sage.math.washington.edu/home/mhansen/release/4.3/alpha0/sage-...
>
> The upgrade path is
>
> http://sage.math.washington.edu/home/mhansen/release/4.3/alpha0/sage-...
>
> Tickets merged in 4.3.alpha0:
>
> #7420: Mike Hansen: Fix uncaught infinite loop in coercion discovery
> [Reviewed by Nicolas M. Thiéry, Robert Bradshaw]
> #7421: Nicolas M. Thiéry: Weaker precondition for registering a new
> coercion. [Reviewed by Robert Bradshaw]
> #7460: William Stein: numerical noise on itanium (iras) [Reviewed by
> Mike Hansen]
> #1163: Karl-Dieter Crisman: make assume behave more consistently and
> catch inconsistent assumptions [Reviewed by Jason Grout, Robert Marik]
> #3663: Anne Schilling, Brant Jones: add support for affine crystals
> [with patch, positive review] [Reviewed by Dan Bump]
> #4326: Nicolas M. Thiéry, with help from Anne Schilling, Daniel Bump,
> Nicolas Borie,  Qiang Wang, Steve Pon: Root systems improvements
> [Reviewed by Daniel Bump, Mike Hansen]
> #5480: Alex Ghitza: R.quotient_by_principal_ideal() is
> self-contradictory [Reviewed by Mike Hansen]
> #5482: Alex Ghitza: Quotient ring can be created without generator
> names [Reviewed by Mike Hansen]
> #5794: Dan Bump: exceptional and reducible type branching rules
> [Reviewed by Brant Jones]
> #5891: Nicolas M. Thiéry: Categories for the working mathematics
> programmer [Reviewed by Robert Bradshaw, Craig Citro, Florent Hivert,
> David Kohel, David Roe, Anne Schilling, William Stein, Javier
> Vengoroso]
> #6136: Nicolas M. Thiéry: (Combinatorial) Free modules: cleanup,
> abstraction into categories, and functorial constructions [Reviewed by
> Florent Hivert]
> #6137: Nicolas M. Thiéry: Symmetric functions: refactoring to use
> coercions, categories, unique rep, and Hopf algebra framework
> [Reviewed by Jason Bandlow]
> #6138: Nicolas M. Thiéry: SymmetricGroupAlgebra: updates w.r.t.
> categories and free modules [Reviewed by Florent Hivert]
> #6318: Adam Webb: optional doctest failure -- axiom interface --
> something doesn't work [Reviewed by Mike Hansen]
> #6354: Nicolas M. Thiéry: Advertise and improve sage -fixdoctest
> [Reviewed by Mike Hansen]
> #6669: Martin Raum: Homomorphisms from matrix groups don't have to
> have matrix groups as codomain [Reviewed by Robert Bradshaw]
> #6760: Robert Bradshaw: error in quaternion algebra ideal basis
> [Reviewed by Alex Ghitza]
> #6803: Golam Mortuza Hossain: Implement symbolic Kronecker delta and
> also make current signum (sgn) symbolic [Reviewed by Karl-Dieter
> Crisman]
> #7023: Robert Bradshaw: Upgrade to Cython 0.11.3 [Reviewed by Mike Hansen]
> #7036: David Kirkby: rubiks ignores CXX and uses g++ even if CXX is
> Sun compiler [Reviewed by Mike Hansen]
> #7190: Nathann Cohen: French translation: A Tour of Sage [Reviewed by
> Dan Drake, Mike Hansen]
> #7208: Florent Hivert: Refactorisation of families [Reviewed by
> Nicolas M. Thiéry]
> #7352: David Kirkby: Update prereq to version 0.5 [Reviewed by Mike Hansen]
> #7395: Florent Hivert: The enumerated set of non negative integers !
> [Reviewed by Nicolas M. Thiéry]
> #7396: Florent Hivert: Disjoint unions of enumerated sets. [Reviewed
> by Nicolas M. Thiéry]
> #7397: Florent Hivert: Updated Primes to the category system.
> [Reviewed by Nicolas M. Thiéry]
> #7401: Robert Marik: Derivative at a point is not translated into
> Maxima [Reviewed by Karl-Dieter Crisman]
> #7403: Florent Hivert: adds FiniteEnumeratedSet [Reviewed by Nicolas M. 
> Thiéry]
> #7443: Florent Hivert: List all categories in the reference manual
> [Reviewed by Nicolas M. Thiéry]
> #7449: William Stein: Some doc request hangs sage eating all memory.
> [Reviewed by Florent Hivert]
> #7450: Alex Ghitza: implement is_prime() for ideals [Reviewed by
> Martin Albrecht]
> #7462: Kwankyu Lee: magma interface -- huge number of doctest failures
> [Reviewed by Georg S. Weber]
> #7478: Florent Hivert, Nicolas M. Thiéry: TestSuite improvements
> [Reviewed by Nicolas M. Thiéry, Florent Hivert]
> #7479: Mike Hansen: sage fails to integrate identity [Reviewed by
> Karl-Dieter Crisman]
> #7371: Alex Ghitza: rename quotient_group() to quotient() in
> groups/perm_gps/perm

[sage-devel] Re: Sage 4.3.alpha0 released!

2009-11-22 Thread ma...@mendelu.cz


On 22 lis, 18:05, John Cremona  wrote:
> I built 4.3.alpha0 fine on two linux machines (32 and 64 bit) but on
> both I get one failure:
>
> The following tests failed:
>         sage -t  "devel/sage/sage/interfaces/maxima.py"
>
> Details below.
>

This has been explained in the first message which started this
thread.

Robert

-- 
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.3.alpha0 released!

2009-11-22 Thread ma...@mendelu.cz
On 22 lis, 22:38, Jaap Spies  wrote:
> Upgrading from 4.2.1 on Fedora 11, 32 bit I had the known issue with 
> interfaces/maxima.py

This was my patch. I am very sorry for this and do not understand, why
all tests passed on my computer when I tested this patch. Now I have
the same issue.

Robert

-- 
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 and commercial software

2009-11-24 Thread ma...@mendelu.cz
On 24 lis, 07:25, Martin Rubey 
wrote:
> "Dr. David Kirkby"  writes:
>
> > I find it hard to believe Sage will not have a negative impact on the
> > sales of Mathematica, but I certainly hope Sage does not put Wolfram
> > Research out of business. I very much doubt it will either.
>
> I am with your hope (how to say this properly?).  At any rate, I think
> its realistic though that sage will put
>
> maxima, fricas (axiom, open-axiom), reduce, giac, etc.
>
> eventually "out of business".

Hello

I do not think so. There are really big names (RJF, Robert Dodier and
others) behind Maxima. As I understand from curricula vitae of some
Sage develepers (E. Burcin, O. Certik, W. Stein, M. Hampton, K. D.
Crisman, ..), the typical Sage developer is very young. Sage is
wonderful project, but it is hard to believe that enthusiasm and
diligence will beat the long experiences included in Maxima and Axiom
in next couple of years - at least in calculus :)

Sage is wonderfull and very very useful project - as well as Maxima
and Axiom. I am sure that noone of them will put the others "out of
bussines". Exactly like Firefox does not put out of bussines not only
Opera and IE, but also Konqueror, Epiphany and even links and lynx!

Robert Marik

-- 
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: simplify (sqrt(6)-sqrt(5))^-1

2009-12-09 Thread ma...@mendelu.cz

sage: a=(sqrt(6)-sqrt(5))^-1
sage: maxima(a).trigrat()
sqrt(6)+sqrt(5)

Now the question is, how to include trigrat function into Sage. I
attempted to do something similar for logarithms and logcontract,
logexpand in http://trac.sagemath.org/sage_trac/ticket/7334 - see the
related dicussion on sage-devel (the link is in the discussion in the
trac). As I understand the discussion, the simplification frontend is
supposed to be rewritten in near future.


Robert Marik

On 10 pro, 06:21, kcrisman  wrote:
> On Dec 9, 5:07 pm, Harald Schilly  wrote:
>
>
>
> > Hi, i got a "report a problem" comment about how
> > simplify/full_simplify works. I think this could be sent to maxima
> > upstream?
>
> > Well, here is the (rather educational) example:
>
> > sage: a=(sqrt(6)-sqrt(5))^-1
>
> > sage: a
> > -1/(sqrt(5) - sqrt(6))
>
> > sage: a.full_simplify()
> > 1/(sqrt(2)*sqrt(3) - sqrt(5))
>
> > sage: a.simplify()
> > -1/(sqrt(5) - sqrt(6))
>
> Before doing that, note that the Sage rep probably treats the
> denominator separately somehow.  Also, since full_simplify() calls a
> whole heck of a lot of things, they may cancel each other out in this
> case - it would be worth trying a few of the simplify_blah separately;
> unfortunately, I can't do that right now.  Anyway, let's not assume
> it's Maxima until we're sure :)
>
> - kcrisman

-- 
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: bug in simplifying expressions

2009-12-09 Thread ma...@mendelu.cz
Seems that this comes from Maxima. Look at this

sage: fu=maxima(k6).fullratsimp().sage();fu
-12*(3*(28960879780288*sqrt(2) + 49414857768735)*sqrt(3) -
150485145634059*sqrt(2) - 256767132912716)/(3*(40774373203317*sqrt(2)
- 90564557902141)*sqrt(3) - 211869858104760*sqrt(2) + 470587246954565)
sage: N(fu)
6.00
sage: N(k6)
139.406088405362
sage: tr=maxima(k6).trigrat().sage();tr
9*(sqrt(2) + 2)*sqrt(3) + 27*sqrt(2) + 48
sage: N(tr)
139.406088405362


Tested on Sage 4.3. and wxmaxima 0.8. Before reporting as Maxima bug,
it would be nice to ask, if this is known problem and construct
minimal example.

Robert


btw: in Maxima

A:-18*(3*sqrt(2)+5)/(-4*(2*sqrt(3)-3)/(3^(3/2)-5)-(-8*(sqrt(3)-1)/(3^
(3/2)-5)+2*(4*(sqrt(3)-2)/(3^(3/2)-5)-1)*(5*sqrt(2)*(sqrt(3)-1)/(3^
(3/2)-5)-sqrt(2))/(5*sqrt(2)*(sqrt(3)-2)/(3^(3/2)-5)-2^(3/2)+3)+1)*
((sqrt(3)-2)*(5*sqrt(2)*(2*sqrt(3)-3)/(3^(3/2)-5)+3*2^(3/2)-9)/((5*sqrt
(2)*(sqrt(3)-2)/(3^(3/2)-5)-2^(3/2)+3)*(3^(3/2)-5))-(2*sqrt(3)-3)/(3^
(3/2)-5))/(2*(sqrt(3)-2)*(5*sqrt(2)*(sqrt(3)-1)/(3^(3/2)-5)-sqrt(2))/
((5*sqrt(2)*(sqrt(3)-2)/(3^(3/2)-5)-2^(3/2)+3)*(3^(3/2)-5))-2*(sqrt
(3)-1)/(3^(3/2)-5)+1)+(4*(sqrt(3)-2)/(3^(3/2)-5)-1)*(5*sqrt(2)*(2*sqrt
(3)-3)/(3^(3/2)-5)+3*2^(3/2)-9)/(5*sqrt(2)*(sqrt(3)-2)/(3^(3/2)-5)-2^
(3/2)+3)-3);

A,numer; this gives 139.

b:radcan(A);
b,numer;- this gives 16


b:xthru(A)
c:radcan(b)
c,numer   -- this gives 139

b:trigrat(A)
b,numer --- gives 139



On 10 pro, 00:40, mhampton  wrote:
> I was trying to simplify a somewhat complicated expression involving
> two square roots, and seem to have found bugs in how sage parses
> things from sympy and maxima.  At least, Ondrej checked and sympy
> handles things fine, the answer gets corrupted somehow in sage.   I
> suspect the same is true for maxima but I haven't checked.
>
> A worksheet with the expression in question is at:
>
> http://sagenb.org/home/pub/1232/
>
> Before filiing a ticket I am wondering if this is a known problem at
> all.
>
> -Marshall

-- 
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: bug in simplifying expressions

2009-12-09 Thread ma...@mendelu.cz
O.K. so the magic is Maxima flag algebraic=true, as explained in
http://groups.google.cz/group/sage-devel/t/4928c36765ff6972

On 10 pro, 07:38, "ma...@mendelu.cz"  wrote:
> Seems that this comes from Maxima. Look at this
>

-- 
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] inequaliites -1

2009-12-10 Thread ma...@mendelu.cz
Dear sage-devel

I tried to use plot_region as follows
plot_region(-1http://groups.google.com/group/sage-devel
URL: http://www.sagemath.org


[sage-devel] Multiplying inequality by negative number

2009-12-10 Thread ma...@mendelu.cz
Dear sage-devel

this is doctested in relation.py

sage: f = x + 3 < y - 2
sage: f*(-1)
-x - 3 < -y + 2

Is this really intended behavior? Shouldnt the answer be the
following?

sage: f*(-1)
-x - 3 > -y + 2

But what about f*(a)  or f*(x-2)? Should Sage return this?
(-x-3)*(x-2)<(2-y)*(x-2)

Or raise a warning that the inequalities are not equivalent. Or refuse
computation if the sign of the expression which multiplies inequality
cannot be determined? Or simply we assume that the user is not high
school student and she/he knows what she/he is doing?

Is there any opinion to this?

Many thanks

Robert Marik

-- 
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: simplify (sqrt(6)-sqrt(5))^-1

2009-12-10 Thread ma...@mendelu.cz


On 10 pro, 11:02, Harald Schilly  wrote:
> > (%i3) ratsimp(a), algebraic=true;
>
> Ok, is it wise to do this by default if called from sage?

Not sure (could it break something in integration for example?) but
without this we have bug described at
http://groups.google.cz/group/sage-devel/browse_thread/thread/1220492cabd79c7f

R.


>
> H

-- 
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: simplify (sqrt(6)-sqrt(5))^-1

2009-12-10 Thread ma...@mendelu.cz
Great, thanks for explanation. Robert

On 10 pro, 13:30, andrejv  wrote:
>
> I don't think there is a bug there. It's just that one form is harder
> to compute numerically because of rounding errors.
>

-- 
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: MathJax: the next version of jsmath

2009-12-16 Thread ma...@mendelu.cz
On 15 pro, 08:47, Jason Grout  wrote:
> If you want to see a preview of the MathJax, next version of jsmath,
> which Davide has been working on for a while, go to:
>
> http://www.mathjax.com/?page_id=13
>

I have scattered tee in Firefox (2.0) and very bad rendering in Opera
(9.63)
Do you have in MathJax better math rendering than in jsmath?

Thanks

Robert

-- 
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: announcement: Maxima 5.20

2009-12-21 Thread ma...@mendelu.cz
On 21 pro, 09:21, cch  wrote:
> Maxima-5.20.1 with clisp version works on my linux-32 Sage-4.2.

Isn't clisp the slowest option?

Robert


>
> cch

-- 
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] broken jsmath image fonts with Sage 4.3

2009-12-27 Thread ma...@mendelu.cz
Dear Sage devel

jsmath image fonts seem to be broken for Sage 4.3 (jsmath-image-
fonts-1.4.p2). Any idea what hapened?

Robert Marik

-- 
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: broken jsmath image fonts with Sage 4.3

2009-12-27 Thread ma...@mendelu.cz
On 27 pro, 23:06, "ma...@mendelu.cz"  wrote:
> Dear Sage devel
>
> jsmath image fonts seem to be broken for Sage 4.3 (jsmath-image-
> fonts-1.4.p2). Any idea what hapened?
>
> Robert Marik



O.K. I found the source problem. There is bad path. The install script
has the following lines

if [ ! -d "$SAGE_ROOT/local/lib/python2.6/site-packages/sagenb" ];
then
# user is using an old version of sage before the new notebook.
install_dir="$SAGE_ROOT/local/notebook/javascript/jsmath"
else
if [ ! -d "$SAGE_ROOT/local/lib/python2.6/site-packages/sagenb/
data/jsmath" ]; then
# pre-#7196 new notebook
install_dir="$SAGE_ROOT/local/lib/python2.6/site-packages/
sagenb/data/javascript/jsmath"
else
install_dir="$SAGE_ROOT/local/lib/python2.6/site-packages/
sagenb/data/jsmath"
fi
fi

but the path for sage notebook changed from
/local/lib/python2.6/site-packages/sagenb/
to
/local/lib/python2.6/site-packages/sagenb-0.4.8-py2.6.egg/sagenb/

So perhaps the lines should look like

CASE 1:

if [ ! -d "$SAGE_ROOT/local/lib/python2.6/site-packages/sagenb-0.4.8-
py2.6.egg/sagenb" ]; then
# user is using an old version of sage before the new notebook.
install_dir="$SAGE_ROOT/local/notebook/javascript/jsmath"
else
if [ ! -d "$SAGE_ROOT/local/lib/python2.6/site-packages/
sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath" ]; then
# pre-#7196 new notebook
install_dir="$SAGE_ROOT/local/lib/python2.6/site-packages/
sagenb-0.4.8-py2.6.egg/sagenb/data/javascript/jsmath"
else
install_dir="$SAGE_ROOT/local/lib/python2.6/site-packages/
sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath"
fi
fi

or simply (if we prefer the latest version)

CASE 2:

 install_dir="$SAGE_ROOT/local/lib/python2.6/site-packages/
sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath/"



Are there any suggestions from developers? Which case should be used
in new spkg? Case 1 or case 2?

Thanks
Robert

-- 
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] bug in sagenb - deleting and stopping worksheet does not work

2009-12-27 Thread ma...@mendelu.cz
Dear sage-devel,

can you confirm this behavior of sage notebook as a bug?

when in Home (i.e. I have a list of worksheets) in folder Active, with
one worksheet running

* If I check the box of running worksheet and click Stop, nothing
happens. Reloading page shows worksheet still as running.

* If I check the box at worksheet wich does not run and click delete,
nothing happens. Reloading of the page shows that the worksheet is
still there. The same applies for Archive button.

Tested on Fireofx in Windows Vista, Sage runs in a virtual vmware
server at Debian Lenny.

Thank you

Robert

-- 
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: bug in sagenb - deleting and stopping worksheet does not work

2009-12-28 Thread ma...@mendelu.cz
On 28 pro, 07:39, Pat LeSmithe  wrote:
>
> Which versions of Firefox and Sage?

Tested on Windows Vista (Firefox 3.0.16, K-meleon, Opera) and Debian
(Epiphany) on two servers with Sage 4.3 (sagenb.org and sage server at
Mendel university - sage compiled from sources)

The buttons Archive, Delete and Stop do no work. Can someone else
reproduce the problem or confirm that tese buttons work for her/him?

Many thanks
Robert

-- 
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.3

2009-12-28 Thread ma...@mendelu.cz


On 28 pro, 11:01, pipedream  wrote:
> But when I open a worksheet, or when I click File>Print in the
> notebook menu, I still get
> "It looks like jsMath failed to set up properly (error code -7).  I
> will try to keep going, but it could get ugly."
>



What happens if you switch to jsmath image fonts in the worksheet?
(clik the small jsmath button on the bottom right of the browser
window and choose options and image fonts. Does it work for you? the
math formulas are in black now.)

Robert

-- 
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.3

2009-12-28 Thread ma...@mendelu.cz
Do you have font files in right directory? Does the listing of the
directory look like this?
(you may need to customise the begining of the path)

[ma...@um-bc107 ../devel/sage/sage/misc]$ ls -l /opt/sage-4.3/local/
lib/python2.6/site-packages/sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath/
fonts/

total 32
drwxr-xr-x 4 marik marik 4096 Jan 10  2006 cm-fonts
drwxr-xr-x 4 marik marik 4096 Aug 15  2005 cmbx10
drwxr-xr-x 4 marik marik 4096 May  5  2005 cmex10
drwxr-xr-x 4 marik marik 4096 May  5  2005 cmmi10
drwxr-xr-x 4 marik marik 4096 May  5  2005 cmr10
drwxr-xr-x 4 marik marik 4096 May  5  2005 cmsy10
drwxr-xr-x 4 marik marik 4096 Aug 15  2005 cmti10
drwxr-xr-x 4 marik marik 4096 Dec 26 23:50 msbm10


Robert

On 28 pro, 11:19, Jan Groenewald  wrote:
> Hi
>
> On Mon, Dec 28, 2009 at 02:08:30AM -0800, ma...@mendelu.cz wrote:
> > What happens if you switch to jsmath image fonts in the worksheet?
> > (clik the small jsmath button on the bottom right of the browser
> > window and choose options and image fonts. Does it work for you? the
> > math formulas are in black now.)
>
> I have one cell with show(integrate(x^2,x))
>
> It shows something like
>
>  1  3
>    x
> 3
>
> When I choose jsmath>options>image fonts (it was set to images for symbols 
> only)
> then the above output changes to
>
> \frac{1}{3} \, x^{3}
>
> and the jsmath popup error persists.
>
> And it prints like that, LaTeX code, whether printing
> from the jsmath control panel or from the notebook menu.
>
> regards,
> Jan

-- 
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] two suggestions to jsmath

2009-12-28 Thread ma...@mendelu.cz
Dear sage devel

I have two suggestions for jsmath in

1. The text \newcommand{\Bold}[1]{\mathbf{#1}} is inserted to each TeX
formula shown by "show" command. Why not to define this command in
preamble? Something like inserting into preamble
 jsMath.Macro('Bold','\\mathbf{#1}',1)


2. What about to insert \displaystyle into each TeX expression before
pasing it to the jsmath?

Are there any objections for not to do this? Is the correct way to
achieve the second task to change the code in latex.py (I added simply
two \displaystyle strings, the experimental patch is at
http://user.mendelu.cz/marik/temp/13536.patch )

Thanks
Robert


class JSMath:
 ..

   def eval(self, x, globals=None, locals=None, mode='display'):
r"""
Render LaTeX input using JSMath.  This returns
a :class:`JSMathExpr`.
...
"""
# in JSMath:
# inline math: ...
# displaymath: ...
from sage.misc.latex_macros import
sage_configurable_latex_macros
if 'display' == mode:
return JSMathExpr(''
  + ''.join
(sage_configurable_latex_macros)
  + _Latex_prefs._option['macros']
  + '\displaystyle %s'%x)
elif 'inline' == mode:
return JSMathExpr(''
  + ''.join
(sage_configurable_latex_macros)
  + _Latex_prefs._option['macros']
  + '\displaystyle %s'%x)
else:
# what happened here?
raise ValueError, "mode must be either 'display' or
'inline'"


-- 
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.3

2009-12-28 Thread ma...@mendelu.cz
Hi, I would try to copy manualy the directories cmbx10  cmex10  cm-
fonts  cmmi10  cmr10  cmsy10  cmti10 to the directory where msbm10 is
present. i.e.  /usr/local/src/sage-4.3/local/lib/python2.6/site-
packages/sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath/fonts

I did not test new spkg (...p3.spkg) for jsimage fonts, since I did
this move for my two installation and this worked. See
http://groups.google.cz/group/sage-devel/browse_thread/thread/82304cb7adbb22f9

btw: Are you sure that you installed the spkg from
http://sage.math.washington.edu/home/mpatel/trac/7778/jsmath-image-fonts-1.4.p3.spkg
?

Robert

On 28 pro, 11:50, Jan Groenewald  wrote:
> Hi
>
> No, it is in another place to yours.
> /usr/local/src/sage-4.3/local/notebook/javascript/jsmath/fonts/
> instead of
> /usr/local/src/sage-4.3/local/lib/python2.6/site-packages/sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath/fonts
>
> 0 r...@muizenberg:~/bin#ls 
> /usr/local/src/sage-4.3/local/notebook/javascript/jsmath/fonts/
> cmbx10  cmex10  cm-fonts  cmmi10  cmr10  cmsy10  cmti10
> 0 r...@muizenberg:~/bin#ls 
> /usr/local/src/sage-4.3/local/notebook/javascript/jsmath/fonts/
> cmbx10  cmex10  cm-fonts  cmmi10  cmr10  cmsy10  cmti10
> 0 r...@muizenberg:~/bin#find 
> /usr/local/src/sage-4.3/local/notebook/javascript/jsmath/fonts/|wc -l
> 20304
> 0 r...@muizenberg:~/bin#du -hs 
> /usr/local/src/sage-4.3/local/notebook/javascript/jsmath/fonts/
> 80M     /usr/local/src/sage-4.3/local/notebook/javascript/jsmath/fonts/
> 0 r...@muizenberg:~/bin#
> 0 r...@muizenberg:~/bin#ls 
> /usr/local/src/sage-4.3/local/lib/python2.6/site-packages/sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath/fonts
> total 4.0K
> 4.0K msbm10
> 0 r...@muizenberg:~/bin#find 
> /usr/local/src/sage-4.3/local/lib/python2.6/site-packages/sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath/fonts|wc
>  -l
> 3257
> 0 r...@muizenberg:~/bin#du -hs 
> /usr/local/src/sage-4.3/local/lib/python2.6/site-packages/sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath/fonts
> 13M     
> /usr/local/src/sage-4.3/local/lib/python2.6/site-packages/sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath/fonts
>
> I never tried to move these, they just are where the spkg's put them.
>
> My SAGE_ROOT is /usr/local/src/sage-4.3.
> I do keep a symlink to it /usr/local/src/sage -> sage-x.y
> so that I can keep desktop icons, other path dependent things across
> releases rebuilt from source.
>
> regards,
> Jan
> --
>    .~.
>    /V\     Jan Groenewald
>   /( )\    www.aims.ac.za
>   ^^-^^

-- 
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.3

2009-12-28 Thread ma...@mendelu.cz
The link to the last spkg seems to be broken, but the corresponding
trac is http://trac.sagemath.org/sage_trac/ticket/7778

btw: related to your command
r...@muizenberg:~/bin#du -hs /usr/local/src/sage-4.3/local/lib/
python2.6/site-packages/sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath/
fonts
13M /usr/local/src/sage-4.3/local/lib/python2.6/site-packages/
sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath/fonts

This suggests that your fonts are on bad place. The value should be
more than 90 MB

Robert



On 28 pro, 11:57, "ma...@mendelu.cz"  wrote:
> Hi, I would try to copy manualy the directories cmbx10  cmex10  cm-
> fonts  cmmi10  cmr10  cmsy10  cmti10 to the directory where msbm10 is
> present. i.e.  /usr/local/src/sage-4.3/local/lib/python2.6/site-
> packages/sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath/fonts
>
> I did not test new spkg (...p3.spkg) for jsimage fonts, since I did
> this move for my two installation and this worked. 
> Seehttp://groups.google.cz/group/sage-devel/browse_thread/thread/82304cb...
>
> btw: Are you sure that you installed the spkg 
> fromhttp://sage.math.washington.edu/home/mpatel/trac/7778/jsmath-image-fo...
> ?
>
> Robert
>
> On 28 pro, 11:50, Jan Groenewald  wrote:
>
> > Hi
>
> > No, it is in another place to yours.
> > /usr/local/src/sage-4.3/local/notebook/javascript/jsmath/fonts/
> > instead of
> > /usr/local/src/sage-4.3/local/lib/python2.6/site-packages/sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath/fonts
>
> > 0 r...@muizenberg:~/bin#ls 
> > /usr/local/src/sage-4.3/local/notebook/javascript/jsmath/fonts/
> > cmbx10  cmex10  cm-fonts  cmmi10  cmr10  cmsy10  cmti10
> > 0 r...@muizenberg:~/bin#ls 
> > /usr/local/src/sage-4.3/local/notebook/javascript/jsmath/fonts/
> > cmbx10  cmex10  cm-fonts  cmmi10  cmr10  cmsy10  cmti10
> > 0 r...@muizenberg:~/bin#find 
> > /usr/local/src/sage-4.3/local/notebook/javascript/jsmath/fonts/|wc -l
> > 20304
> > 0 r...@muizenberg:~/bin#du -hs 
> > /usr/local/src/sage-4.3/local/notebook/javascript/jsmath/fonts/
> > 80M     /usr/local/src/sage-4.3/local/notebook/javascript/jsmath/fonts/
> > 0 r...@muizenberg:~/bin#
> > 0 r...@muizenberg:~/bin#ls 
> > /usr/local/src/sage-4.3/local/lib/python2.6/site-packages/sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath/fonts
> > total 4.0K
> > 4.0K msbm10
> > 0 r...@muizenberg:~/bin#find 
> > /usr/local/src/sage-4.3/local/lib/python2.6/site-packages/sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath/fonts|wc
> >  -l
> > 3257
> > 0 r...@muizenberg:~/bin#du -hs 
> > /usr/local/src/sage-4.3/local/lib/python2.6/site-packages/sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath/fonts
> > 13M     
> > /usr/local/src/sage-4.3/local/lib/python2.6/site-packages/sagenb-0.4.8-py2.6.egg/sagenb/data/jsmath/fonts
>
> > I never tried to move these, they just are where the spkg's put them.
>
> > My SAGE_ROOT is /usr/local/src/sage-4.3.
> > I do keep a symlink to it /usr/local/src/sage -> sage-x.y
> > so that I can keep desktop icons, other path dependent things across
> > releases rebuilt from source.
>
> > regards,
> > Jan
> > --
> >    .~.
> >    /V\     Jan Groenewald
> >   /( )\    www.aims.ac.za
> >   ^^-^^

-- 
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: bug in sagenb - deleting and stopping worksheet does not work

2009-12-30 Thread ma...@mendelu.cz
I did more tests - Sage 4.2. is the last version where deleting and
stopping workseehts via buttons from "Home" folder works for me.


Tested on some personal installations as well as at https://sagenb.kaist.ac.kr
(4.2.1 - does not work) http://uw.sagenb.org  (4.2.1 - does not work)
and http://www.sagenb.org/  (4.3 - does not work). Tested on various
local OS (windows, several Linux installations) and various browsers
(Firefox, Opera, K-Meleon).

Is there anybody else here, who can either confirm this problem or
anybody else who does not have any problems of this type?

I started courses at January 4 wihch will use Sage and this is
annoying. On the other had, it would be nice to work with version with
fixed http://trac.sagemath.org/sage_trac/ticket/7756

Many thanks

Robert Marik

On 28 pro, 11:03, "ma...@mendelu.cz"  wrote:
> On 28 pro, 07:39, Pat LeSmithe  wrote:
>
>
>
> > Which versions of Firefox and Sage?
>
> Tested on Windows Vista (Firefox 3.0.16, K-meleon, Opera) and Debian
> (Epiphany) on two servers with Sage 4.3 (sagenb.org and sage server at
> Mendel university - sage compiled from sources)
>
> The buttons Archive,Deleteand Stop do no work. Can someone else
> reproduce the problem or confirm that tese buttons work for her/him?
>
> Many thanks
> Robert

-- 
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: bug in sagenb - deleting and stopping worksheet does not work

2009-12-31 Thread ma...@mendelu.cz
THnks for your suggestions,

On 31 pro, 04:26, Pat LeSmithe  wrote:
> On 12/30/2009 01:31 PM, ma...@mendelu.cz wrote:
>
> > I did more tests - Sage 4.2. is the last version where deleting and
> > stopping workseehts via buttons from "Home" folder works for me.
>
> One or more of these problems may appear in many other browsers, too.
> Could you try commenting out
>
>         if not self.worksheet.is_published():
>             self.worksheet.set_active(username)
>
> in
>
> SAGE_LOCAL/lib/python2.6/site-packages/sagenb-*/sagenb/notebook/twist.py
>
> and testing again in Firefox, say?  (See WorksheetResource.__init__,
> around line 516.)

I did this change, run sage -b and then sage, but still have old
behavior.

>
> A worksheet opened in a JavaScript-enabled tab or window pings the
> server every ~10 seconds.  The lines above reset the worksheet's "view"
> to ACTIVE for the user who opened the worksheet.  The worksheet will
> then appear in that user's [refreshed] list of active worksheets.
>
> Another possible workaround is to close all tabs/windows with the
> worksheet in question, before sending it to the Trash folder.

Does not help either.
And I do not understand why I have this issue on 4 different computers
and nobody else reported such a problem 

Anyway, thank you for your help and have a nice happy new year :)

Robert

-- 
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: bug in sagenb - deleting and stopping worksheet does not work

2009-12-31 Thread ma...@mendelu.cz


On 31 pro 2009, 09:22, "ma...@mendelu.cz"  wrote:
>
> Does not help either.

Does not help even if I use the install script in sagenb sources
directory to install changewd version. Any other idea?

Many thanks
Robert

-- 
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: bug in sagenb - deleting and stopping worksheet does not work

2010-01-01 Thread ma...@mendelu.cz
On 1 led, 15:58, Pat LeSmithe  wrote:
> On 12/31/2009 06:14 PM, ma...@mendelu.cz wrote:
>
> > On 31 pro 2009, 09:22, "ma...@mendelu.cz"  wrote:
> >> Does not help either.
> > Does not help even if I use the install script in sagenb sources
> > directory to install changewd version. Any other idea?
>
> Just to gather a bit more information:
>
> Do the "Log" and "Help" links at the top of the "Home" page work?  More
> generally, are there other notebook features that aren't working as
> expected?
>


Hi Pat, clicking Archive, Delete or Stop I get in Firefox 3.0.16

Error: X is null
Source file: http://www.sagenb.org/javascript/sage/main.js
Line: 374

Log and Help links work.

I'll try to update Firefox and send more detailed answer. Chrome does
not work either.

However, we have rather old Firefox in our PC lab (stability is
preffered) and it would be great to make workseehts work also on older
browsers, as it was in Sage 4.2

Many thanks.

Robert

-- 
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: bug in sagenb - deleting and stopping worksheet does not work

2010-01-01 Thread ma...@mendelu.cz
On 1 led, 19:50, "ma...@mendelu.cz"  wrote:
> Error: X is null
> Source file:http://www.sagenb.org/javascript/sage/main.js
> Line: 374

The same problem with Firefox 3.5.6

Robert

-- 
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: bug in sagenb - deleting and stopping worksheet does not work

2010-01-01 Thread ma...@mendelu.cz
On 1 led, 20:02, "ma...@mendelu.cz"  wrote:
> On 1 led, 19:50, "ma...@mendelu.cz"  wrote:
>
> > Error: X is null
> > Source file:http://www.sagenb.org/javascript/sage/main.js
> > Line: 374
>
> The same problem with Firefox 3.5.6

And the same error message also in Firefox (Iceweasel) 3.0.6 and
Epiphany 2.22.3, both on Debian Lenny

ma...@marikovi:~$ uname -a
Linux marikovi 2.6.26-2-486 #1 Fri Aug 14 01:02:21 UTC 2009 i686 GNU/
Linux


>
> Robert

-- 
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: about sagenb-xx.spkg and translations

2010-01-03 Thread ma...@mendelu.cz
On 3 led, 17:08, Vincent D <20100.delecr...@gmail.com> wrote:
> Hi,
>
> I aim to construct a french translation of the notebook (with french
> tutorial) on
>
>    http://sage.irem.univ-mrs.fr:8000
>
> Is there any attempt  of multi-language support for it ?

Hi, this is not answer, simply comment.

I think that it would be nice to allow localization of notebook. I
have seen a notebook in korean, but do not know how the admin of the
server achieved this.

Robert

-- 
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] only part of expression is visible in notebook

2010-01-04 Thread ma...@mendelu.cz
Dear sage-devel

If I run (with checked button "Typeset")

maxima("taylor(z*sin(x*y), [x,y,z],[0,pi/2,1], 8)")

in notebook in Sage 4.3, the output window is too small and I can see
only small part of the expression. Is it a bug in CSS style or
somwhere else?

Robert

-- 
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] Unknown control sequence '\texttt'

2010-01-10 Thread ma...@mendelu.cz
Dear sage-devel

when doing in notebook

sage: show('x^2')

or

sage: show(type(factor))

I get error Unknown control sequence '\texttt'

When I try
sage:'x^2'

with checked "Typeset" button I get
\newcommand{\Bold}[1]{\mathbf{#1}}\hbox{x^2}
which is not valid LaTeX expression (supperscript outside math mode)

I think that this is a bug in Sage, Any idea where to fix it?
Thanks
Robert
-- 
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] broken show for unevaluated integrals

2010-01-11 Thread ma...@mendelu.cz
Dear sage-devel

the following (definite) integral is not evaluated by maxima and show
() command should return the same unevaluated integral in TeX
notation. I think this was the case in previous versions. On Sage 4.3.
I get th following

input: integrate(1/(1+sqrt(x)),x,0,1).show()

output: \int integrate\,{d \frac{1}{\sqrt{x} + 1}}

expected output: \int_0^1 \frac{..}{...} dx

What has changed?

Robert
-- 
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] problems with converting expression from Maxima

2010-01-13 Thread ma...@mendelu.cz
Hello all,

Sage changes expression which is converted from Maxima. As a
consequence, the linear term in taylor polynomial is allway expanded
into f'(a)*x+const instead of f'(a)*(x-a)+f(a).

Can someone explain this behavior? How to get rid of this?

See the code below and trac http://trac.sagemath.org/sage_trac/ticket/7472

Many thanks
Robert Marik

--
| Sage Version 4.3, Release Date: 2009-12-24 |
| Type notebook() for the GUI, and license() for information.|
--
sage: maxima("taylor(x^3,x,2,1)")
8+12*(x-2)
sage: maxima("taylor(x^3,x,2,1)").sage()
12*x - 16
sage: taylor(x^3,x,2,1)
12*x - 16
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: sage-4.3.1.rc0 released!

2010-01-16 Thread ma...@mendelu.cz


On 16 led, 07:42, Robert Miller  wrote:
> Greetings!
>
> sage-4.3.1.rc0 is finally here. This should be a good base version for
> Bug Days, and closes a good deal of tickets. I thought it would be
> good to plan on an rc1 with just the ticket to fix building on OS X
> 10.6 (thoughts?). Also, reverting #7818 fixed a good deal of build
> problems(*).
>

Thanks. Binaries for current Debian are not available from (I think)
Sage 4.3. Is Debian still supported? Will you build Sage 4.3.1
binaries for Debian Lenny?

Thanks
Robert Marik
-- 
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


  1   2   >