From 0b253bae599638062ba28695386142a8d6779f06 Mon Sep 17 00:00:00 2001 From: Pierre Neidhardt Date: Mon, 17 Jun 2013 17:29:04 +0200 Subject: [PATCH] gprc: PARI/GP init file. --- .gprc | 117 ++++++++++++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 117 insertions(+) create mode 100644 .gprc diff --git a/.gprc b/.gprc new file mode 100644 index 00000000..257b813d --- /dev/null +++ b/.gprc @@ -0,0 +1,117 @@ +/* $Id: gprc.dft 13176 2011-05-09 22:43:24Z kb $ + * + * SAMPLE GP INIT FILE. + * + * Customize (by uncommenting and modifying the relevant lines) and put in + * $HOME/.gprc (or $GPRC) or /etc/gprc. Syntax explained at the end. */ + +\\ read "lib/gpalias" +/* Read lib/gpalias BEFORE gp prompts you for commands. + * The file contains some standard abbreviations (correct the path first !) */ + +\\ histfile = ~/.gphistory +/* saves a history of all input commands in this file, and load it in each new + * session's history */ + +\\ compatible = 0 +/* CAUTION: scripts written in the old (1.x) syntax WILL NOT WORK AS BEFORE. + * If compatible>1, the OLD functions are the ONLY ONES known to gp, save + * for default() itself */ + +\\ path = ".:~:~/gpdir" +/* List of directories where gp will look for scripts (separated by ':', + * use "\:" to insert a real ":"). The ~ notation may not be available on + * your system */ + +prompt = "(%H:%M) \e[1mgp\e[m > " +#if READL prompt = "(%H:%M) \e[1mgp\e[m > " +#if EMACS prompt = "? " +/* Set gp prompt. % is used for macros related to the time of day [back to + * the shell prompt, try "man strftime"]. Example: %H:%M = time of day in the + * form HH:MM. Characters can be escaped UNIX-style using '\', e.g \e = + * + * Above, the first escape sequence sets a bold font, the second restores + * the original (so we get a bold "gp"), and we prefix by the time of day + * + * CAUTION1: If you have escape sequences in your prompt (as above) and use + * readline, you will get display bugs. With a recent enough readline, you + * can work around those by bracing non-visible characters between ^A/^B + * pairs (see manual), like this: + * + * #if READL prompt = "(%H:%M) \e[1mgp\e[m > " + * ^^_____^^ brace the "set bold" sequence \e[1m + * + * CAUTION2: If you plan to use gp under emacs, do not tamper with the prompt + * variable UNLESS you also set correctly the gp-prompt-pattern regexp in + * your .emacs. For instance, if to use: + * + * #if EMACS prompt = "(%H:%M) gp > " + * + * add the following two lines in your .emacs (see emacs/pariemacs.txt) + * + * (setq gp-prompt-pattern + * (concat "^([0-9][0-9]:[0-9][0-9]) gp > [\C-j\t ]*\\|" gp-prompt-pattern)) + */ + +\\ use an alternate prettyprinter +prettyprinter = "/usr/local/bin/tex2mail -TeX -noindent -ragged -by_par" + +\\ clear background: +\\ #ifnot EMACS colors = "9, 5, no, no, 4, 1, 2" +\\ dark background: +#ifnot EMACS colors = "9, 1, no, no, 6, 1, 2" +/* If your terminal supports color. These are suggested values that don't + * look too bad with the colormap provided with the distribution (under + * emacs you can customize colors using the Menu Bar). */ + +\\ Extended help options (don't interact well with emacs): +\\ Don't use TeX + xdvi, but outputs formatted help in GP window: +\\ #ifnot EMACS help = "/usr/local/bin/gphelp -detex" +\\ Same, using colors: +\\ #ifnot EMACS help = "/usr/local/bin/gphelp -detex -ch 4 -cb 0 -cu 2" + +\\ Stack size : 10^7 Bytes. +\\ parisize = 10M + +\\ Biggest precomputed prime (= prevprime(10^6)) +\\ primelimit = 1M + +\\ Set timer on +\\ timer = 1 + +\\ Set logfile name and enable logging. +\\ Uncommenting the next two lines produces a different logfile each day: +\\ logfile = "~/tmp/pari-%d.%m" +\\ log = 1 + +\\ Output for postscript-producing gp commands. +\\ psfile = "~/tmp/pari.ps" + +\\ secure = 1 +/* Disable commands system() and extern(). These commands are dangerous + * since they allow scripts to execute arbitrary Unix commands */ + +\\********************** FORMAT OF THIS FILE : *************************** +\\ Lines starting with '\\' and between '/*' '*/' pairs are comments +\\ Blank lines are ignored +\\ Line starting with #if BOOLEAN is read iff BOOLEAN is TRUE +\\ Currently recognized booleans: +\\ EMACS are we running under Emacs? +\\ READL is readline available? +\\ VERSION {<,>,<=,>=} a.b.c does version number satisfy the inequality? +\\ +\\ This file should be put in $HOME/.gprc or /etc/gprc and contains: +\\ * references to gp scripts that are to be run BEFORE the first gp prompt. +\\ +\\ Syntax: read "filename" (quotes are mandatory. ~ syntax allowed) +\\ +\\ * variable definitions (so-called "environment variables" in the sequel) +\\ +\\ Definitions are overruled by command line switches. For instance +\\ invoking gp -s 100 will set environment variable stacksize to 100 (not +\\ a very bright thing to do by the way), regardless of what is in .gprc +\\ +\\ Syntax: variable name = value +\\ +\\ Environment variables which are not set here assume default values in gp. +\\ Can be changed under GP using default(), or keyboard shortcuts (see ?\).