Jennifer Dylan's profile - activity

Try the following in a notebook:

from sage.misc.latex import latex_extra_preamble
latex.add_to_preamble('\\usepackage{amsmath}')
latex.add_to_preamble('\\usepackage{amsthm}')
latex.add_to_preamble('\\usepackage{amssymb}')

Can you reformat your code properly?

I'd like to use Sage Notebook for typing my LaTeX papers. I'd like to be able to use environments such as theorem proof etc. Is this possible via Sage Notebook? Can I use a custom preamble such as: \usepackage{amsmath, amsthm, amssymb}?

Some work has been done to integrate PyCUDA and PyOpenCL into Sage. There are details on trac about how to install them: PyCUDA and PyOpenCL.

I think a lot of people would be happy if these were integrated into Sage.

What is the status of doing SAGE computations on GPUs? Is there any work done or in progress to enable SAGE to use GPUs?

You can use your C/C++ code directly, using the Ctypes library, which is included in SAGE. You can find a nicely documented example on how to call your libraries on Numerical Sage documentation:

http://www.sagemath.org/doc/numerical_sage/ctypes.html

Let's say, I wrote matrix.c which is a C file containing several functions. Can I call any of the functions defined in matrix.c from Sage? What special compilation do I need for matrix.c?

You can use bool() :

sage: bool(pi > 0)
True

Sage's evaluation model is the same as Python's. The above example is not actually lazily evaluated, when you evaluate pi > 0, it immediately makes a call like the following:

sage: pi.__gt__(0)
pi > 0

Instead of returning True or False it instead returns symbolic expression representing the inequality. This is done for symbolic expressions to be consistent with things like

sage: x > 2
x > 2

Also, notice that it is specific to symbolic expressions:

sage: SR(2) == 2
2 == 2
sage: 2 == 2
True

[Absolute beginner here.]

The expression $pi > 0$ has the type sage.symbolic.expression.Expression. How can I force the evaluation and get the result True.

Also, as per the question title, can you please point me to a reference on the evaluation model in Sage?