* Implementation of GiNaC's indices. */
/*
- * GiNaC Copyright (C) 1999-2001 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2002 Johannes Gutenberg University Mainz, Germany
*
* This program is free software; you can redistribute it and/or modify
* it under the terms of the GNU General Public License as published by
#include "idx.h"
#include "symbol.h"
#include "lst.h"
+#include "relational.h"
#include "print.h"
#include "archive.h"
#include "utils.h"
} else {
if (is_a<print_latex>(c))
- c.s << "_{";
+ c.s << "{";
else
c.s << ".";
bool need_parens = !(is_ex_exactly_of_type(value, numeric) || is_ex_of_type(value, symbol));
dim.print(c, level + delta_indent);
} else {
- if (is_a<print_latex>(c)) {
- if (covariant)
- c.s << "_{";
- else
- c.s << "^{";
- } else {
+ if (is_a<print_latex>(c))
+ c.s << "{";
+ else {
if (covariant)
c.s << ".";
else
{
const idx &o = static_cast<const idx &>(other);
- // Only pure symbols form dummy pairs, "2n+1" doesn't
+ // Only pure symbols form dummy pairs, numeric indices and expressions
+ // like "2n+1" don't
if (!is_ex_of_type(value, symbol))
return false;
if (!value.is_equal(o.value))
return false;
- // Also the dimension
- return dim.is_equal(o.dim);
+ // Dimensions need not be equal but must be comparable (so we can
+ // determine the minimum dimension of contractions)
+ if (dim.is_equal(o.dim))
+ return true;
+
+ return (dim < o.dim || dim > o.dim || (is_a<numeric>(dim) && is_a<symbol>(o.dim)) || (is_a<symbol>(dim) && is_a<numeric>(o.dim)));
}
bool varidx::is_dummy_pair_same_type(const basic & other) const
// non-virtual functions
//////////
+ex idx::replace_dim(const ex & new_dim) const
+{
+ idx *i_copy = static_cast<idx *>(duplicate());
+ i_copy->dim = new_dim;
+ i_copy->clearflag(status_flags::hash_calculated);
+ return i_copy->setflag(status_flags::dynallocated);
+}
+
+ex idx::minimal_dim(const idx & other) const
+{
+ if (dim.is_equal(other.dim) || dim < other.dim || (is_a<numeric>(dim) && is_a<symbol>(other.dim)))
+ return dim;
+ else if (dim > other.dim || (is_a<symbol>(dim) && is_a<numeric>(other.dim)))
+ return other.dim;
+ else
+ throw (std::runtime_error("idx::minimal_dim: index dimensions cannot be ordered"));
+}
+
ex varidx::toggle_variance(void) const
{
varidx *i_copy = static_cast<varidx *>(duplicate());