done_with_fish's profile - activity

I'm writing a latex document that will eventually need to be compiled on a machine that does not have sage on it. However, right now I'm using sagetex to write this document. I'm curious if it is somehow possible to generate a latex document with all of the \sage invocations replaced with the corresponding latex code.

I have a lot of useful code stored in $DOT_SAGE/init.sage. I'd like sagetex to always have access to my useful code in init.sage. Is this possible?

Ahh, so sage reads environment variables set by my shell?

The documentation for environment variables used by sage it is mentioned that the default location of DOT_SAGE is $HOME/.sage/ but that this location can be changed.

How can this location be changed?

I'm trying to write a latex sty file to change the default behavior of sagetex.

My file is

\NeedsTeXFormat{LaTeX2e}[1994/06/01]
\ProvidesPackage{examplepackage}[2018/12/24 examplepackage]

\RequirePackage{sagetex}
\RequirePackage{etoolbox}

\AtBeginDocument{%
  \begin{sagesilent}
    A = 3
  \end{sagesilent}
}

\endinput

However, attempting to use this sty file in the following latex file produces the error ! File ended while scanning use of \next.

\documentclass[12pt]{article}

\usepackage{examplepackage}

\begin{document}
hello world!
\end{document}

What's wrong with my sty file?

Consider the block of code

sage: f = exp(x**2)
sage: latex(f)
e^{\left(x^{2}\right)}

It looks like sage is configured to include parentheses in the latex of an exponential function. Is it possible to configure sage to exclude these parentheses?

We can define polytopes in sage with the command

sage: p = Polytope(A)

Here p is the convex hull of the integer matrix A.

I'm curious if we can compute the h* vector of p. Is this possible?

Roughly, the h* vector of a convex lattice polytope is constructed as follows.

The Ehrhart series can be expressed as a rational function whose numerator is a polynomial. The h* vector of a polytope is the vector of coefficients of this polynomial.

I'm aware that sage can compute the ehrhart polynomial of a polytope with sage: p.ehrhart_polynomial() but I cant find anything about the h* vector in the documentation.

I know the command in polymake is $p -> H_STAR_VECTOR, but I'm not sure if this vector can be constructed in sage.

Perhaps a more general question would be: can I pass a polytope defined in sage to polymake and can sage read the results of the polymake operation?

When using sagetex, I want my matrices to have square brackets and my vectors to have angled brackets. Hence, the first thing I do after \begin{document} is include the code

  \begin{sagesilent}
    latex.matrix_delimiters(left='[', right=']')
    latex.vector_delimiters(left='<', right='>')
  \end{sagesilent}

This is very annoying. Is it possible to set sagetex up to do this by default?