# -*- python -*- 
#***************************************************************************
# 
# @author  Michael Brickenstein, Alexander Dreyer
# @date 2007-07-06
#
# This file is a configuration file for ipython -- ipythonrc format
#
# @par Copyright:
#   (c) 2007-2011 by The PolyBoRi Team
#
# Configuration file for ipython -- ipythonrc format
#
# The format of this file is one of 'key value' lines.
# Lines containing only whitespace at the beginning and then a # are ignored
# as comments. But comments can NOT be put on lines with data.
#***************************************************************************

# Evaluate some environment variables, which may be set by wrapper scripts

# PolyBoRi path (either set by wrapper or assumed to be the parent directory)
# Note: change "execute pbdir = '..'", if you manually install this profile
execute from os import environ as env

# Uncomment, if we want to skip the banner 
# banner 0

# Include base config from current IPYTHONDIR and only add some extras
include ipythonrc

# execute PolyBoRi settings
execut from os import environ as env
execute exec(env["IPBORI_INIT_CMDS"])
execute print ''

# Get all basic stuff from PyPolyBoRi
execute from polybori.PyPolyBoRi import *

# Get all-inclusive groebner routine
execute from polybori.gbcore import groebner_basis

execute pb_copy =  "Copyright (c) 2007-2010 by The PolyBoRi Team.\n"
execute pb_copy +=  "  Michael Brickenstein (MFO)  brickenstein@mfo.de\n"
execute pb_copy +=  "  Alexander Dreyer (ITWM)     "
execute pb_copy +=  "alexander.dreyer@itwm.fraunhofer.de\n\n"

execute pb_copy += "The PolyBoRi Team is a joint project of\n"
execute pb_copy += "Mathematisches Forschungsinstitut Oberwolfach (MFO), "
execute pb_copy += "Germany\n"
execute pb_copy += "Department of Mathematics, University of Kaiserslautern, "
execute pb_copy += "Germany, and\n"
execute pb_copy += "Fraunhofer Institute for Industrial Mathematics (ITWM), "
execute pb_copy += "Kaiserslautern, Germany."

execute pb_lic  = "ipbori and the PolyBoRi framework are licensed under the "
execute pb_lic += "terms\nof the GNU General Public License (GPL) version 3 "
execute pb_lic += "or later. \n"
execute pb_lic += "See http://www.gnu.org/licenses/ for details."

execute pb_copy += "\n\nPolyBoRi incorporates the following works:\n"
execute pb_copy += "The CU Decision Diagrams Package "
execute pb_copy += "Release 2.4.1 (CUDD)\nby Fabio Somenzi, Copyright (c) "
execute pb_copy += "1995-2004,\nRegents of the University of Colorado. "
execute pb_copy += "All Rights Reserved.\n\n"
execute pb_copy += "The Method of the Four Russians Inversion (M4RI)\n"
execute pb_copy += "Copyright (C) 2007 Gregory Bard <gregory.bard@ieee.org>"

execute def polybori_copyright(): print pb_copy 
execute def polybori_license(): print pb_lic
