GINAC_IMPLEMENT_REGISTERED_CLASS_OPT(clifford, indexed,
print_func<print_dflt>(&clifford::do_print_dflt).
- print_func<print_latex>(&clifford::do_print_latex))
+ print_func<print_latex>(&clifford::do_print_latex).
+ print_func<print_tree>(&clifford::do_print_tree))
GINAC_IMPLEMENT_REGISTERED_CLASS_OPT(diracone, tensor,
print_func<print_dflt>(&diracone::do_print).
return simplify_indexed(indexed(metric.op(0)*_ex1_2, i, j) + indexed(metric.op(0)*_ex1_2, j, i));
}
} else {
- return metric.subs(lst(metric.op(1) == i, metric.op(2) == j), subs_options::no_pattern);
+ return metric.subs(lst{metric.op(1) == i, metric.op(2) == j}, subs_options::no_pattern);
}
} else {
exvector indices = metric.get_free_indices();
if (symmetrised)
- return _ex1_2*simplify_indexed(metric.subs(lst(indices[0] == i, indices[1] == j), subs_options::no_pattern)
- + metric.subs(lst(indices[0] == j, indices[1] == i), subs_options::no_pattern));
+ return _ex1_2*simplify_indexed(metric.subs(lst{indices[0] == i, indices[1] == j}, subs_options::no_pattern)
+ + metric.subs(lst{indices[0] == j, indices[1] == i}, subs_options::no_pattern));
else
- return metric.subs(lst(indices[0] == i, indices[1] == j), subs_options::no_pattern);
+ return metric.subs(lst{indices[0] == i, indices[1] == j}, subs_options::no_pattern);
}
}
}
}
+void clifford::do_print_tree(const print_tree & c, unsigned level) const
+{
+ c.s << std::string(level, ' ') << class_name() << " @" << this
+ << std::hex << ", hash=0x" << hashvalue << ", flags=0x" << flags << std::dec
+ << ", " << seq.size()-1 << " indices"
+ << ", symmetry=" << symtree << std::endl;
+ metric.print(c, level + c.delta_indent);
+ seq[0].print(c, level + c.delta_indent);
+ printindices(c, level + c.delta_indent);
+}
+
DEFAULT_COMPARE(diracone)
DEFAULT_COMPARE(cliffordunit)
DEFAULT_COMPARE(diracgamma)
i = _ex0;
b = _ex1;
} else { // slash object, generate new dummy index
- varidx ix((new symbol)->setflag(status_flags::dynallocated), ex_to<idx>(c.op(1)).get_dim());
+ varidx ix(dynallocate<symbol>(), ex_to<idx>(c.op(1)).get_dim());
b = indexed(c.op(0), ix.toggle_variance());
i = ix;
}
} else if (!a_is_cliffordunit && !b_is_cliffordunit && ag.is_equal(bg)) {
// a\ a\ -> a^2
- varidx ix((new symbol)->setflag(status_flags::dynallocated), ex_to<idx>(a.op(1)).minimal_dim(ex_to<idx>(b.op(1))));
+ varidx ix(dynallocate<symbol>(), ex_to<idx>(a.op(1)).minimal_dim(ex_to<idx>(b.op(1))));
a = indexed(ag, ix) * indexed(ag, ix.toggle_variance());
b = dirac_ONE(representation_label);
ex diracgammaL::conjugate() const
{
- return (new diracgammaR)->setflag(status_flags::dynallocated);
+ return dynallocate<diracgammaR>();
}
ex diracgammaR::conjugate() const
{
- return (new diracgammaL)->setflag(status_flags::dynallocated);
+ return dynallocate<diracgammaL>();
}
//////////
ex dirac_ONE(unsigned char rl)
{
- static ex ONE = (new diracone)->setflag(status_flags::dynallocated);
+ static ex ONE = dynallocate<diracone>();
return clifford(ONE, rl);
}
ex clifford_unit(const ex & mu, const ex & metr, unsigned char rl)
{
- //static ex unit = (new cliffordunit)->setflag(status_flags::dynallocated);
- ex unit = (new cliffordunit)->setflag(status_flags::dynallocated);
+ ex unit = dynallocate<cliffordunit>();
if (!is_a<idx>(mu))
throw(std::invalid_argument("clifford_unit(): index of Clifford unit must be of type idx or varidx"));
unsigned n = M.rows();
bool symmetric = true;
- //static idx xi((new symbol)->setflag(status_flags::dynallocated), n),
- // chi((new symbol)->setflag(status_flags::dynallocated), n);
- idx xi((new symbol)->setflag(status_flags::dynallocated), n),
- chi((new symbol)->setflag(status_flags::dynallocated), n);
+ //static idx xi(dynallocate<symbol>(), n),
+ // chi(dynallocate<symbol>(), n);
+ idx xi(dynallocate<symbol>(), n),
+ chi(dynallocate<symbol>(), n);
if ((n == M.cols()) && (n == get_dim_uint(mu))) {
for (unsigned i = 0; i < n; i++) {
for (unsigned j = i+1; j < n; j++) {
throw(std::invalid_argument("clifford_unit(): metric for Clifford unit must be a square matrix with the same dimensions as index"));
}
} else if (indices.size() == 0) { // a tensor or other expression without indices
- //static varidx xi((new symbol)->setflag(status_flags::dynallocated), ex_to<idx>(mu).get_dim()),
- // chi((new symbol)->setflag(status_flags::dynallocated), ex_to<idx>(mu).get_dim());
- varidx xi((new symbol)->setflag(status_flags::dynallocated), ex_to<idx>(mu).get_dim()),
- chi((new symbol)->setflag(status_flags::dynallocated), ex_to<idx>(mu).get_dim());
+ //static varidx xi(dynallocate<symbol>(), ex_to<idx>(mu).get_dim()),
+ // chi(dynallocate<symbol>(), ex_to<idx>(mu).get_dim());
+ varidx xi(dynallocate<symbol>(), ex_to<idx>(mu).get_dim()),
+ chi(dynallocate<symbol>(), ex_to<idx>(mu).get_dim());
return clifford(unit, mu, indexed(metr, xi, chi), rl);
} else
throw(std::invalid_argument("clifford_unit(): metric for Clifford unit must be of type tensor, matrix or an expression with two free indices"));
ex dirac_gamma(const ex & mu, unsigned char rl)
{
- static ex gamma = (new diracgamma)->setflag(status_flags::dynallocated);
+ static ex gamma = dynallocate<diracgamma>();
if (!is_a<varidx>(mu))
throw(std::invalid_argument("dirac_gamma(): index of Dirac gamma must be of type varidx"));
- static varidx xi((new symbol)->setflag(status_flags::dynallocated), ex_to<varidx>(mu).get_dim()),
- chi((new symbol)->setflag(status_flags::dynallocated), ex_to<varidx>(mu).get_dim());
- return clifford(gamma, mu, indexed((new minkmetric)->setflag(status_flags::dynallocated), symmetric2(), xi, chi), rl);
+ static varidx xi(dynallocate<symbol>(), ex_to<varidx>(mu).get_dim()),
+ chi(dynallocate<symbol>(), ex_to<varidx>(mu).get_dim());
+ return clifford(gamma, mu, indexed(dynallocate<minkmetric>(), symmetric2(), xi, chi), rl);
}
ex dirac_gamma5(unsigned char rl)
{
- static ex gamma5 = (new diracgamma5)->setflag(status_flags::dynallocated);
+ static ex gamma5 = dynallocate<diracgamma5>();
return clifford(gamma5, rl);
}
ex dirac_gammaL(unsigned char rl)
{
- static ex gammaL = (new diracgammaL)->setflag(status_flags::dynallocated);
+ static ex gammaL = dynallocate<diracgammaL>();
return clifford(gammaL, rl);
}
ex dirac_gammaR(unsigned char rl)
{
- static ex gammaR = (new diracgammaR)->setflag(status_flags::dynallocated);
+ static ex gammaR = dynallocate<diracgammaR>();
return clifford(gammaR, rl);
}
// vector as its base expression and a (dummy) index that just serves
// for storing the space dimensionality
- static varidx xi((new symbol)->setflag(status_flags::dynallocated), dim),
- chi((new symbol)->setflag(status_flags::dynallocated), dim);
- return clifford(e, varidx(0, dim), indexed((new minkmetric)->setflag(status_flags::dynallocated), symmetric2(), xi, chi), rl);
+ static varidx xi(dynallocate<symbol>(), dim),
+ chi(dynallocate<symbol>(), dim);
+ return clifford(e, varidx(0, dim), indexed(dynallocate<minkmetric>(), symmetric2(), xi, chi), rl);
}
/** Extract representation label from tinfo key (as returned by
return e;
// Substitute gammaL/R and expand product, if necessary
- ex e_expanded = e.subs(lst(
+ ex e_expanded = e.subs(lst{
dirac_gammaL(rl) == (dirac_ONE(rl)-dirac_gamma5(rl))/2,
dirac_gammaR(rl) == (dirac_ONE(rl)+dirac_gamma5(rl))/2
- ), subs_options::no_pattern).expand();
+ }, subs_options::no_pattern).expand();
if (!is_a<ncmul>(e_expanded))
return dirac_trace(e_expanded, rls, trONE);
ex curridx_toggle = is_a<varidx>(curridx)
? ex_to<varidx>(curridx).toggle_variance()
: curridx;
- S = S * e.op(j).subs(lst(curridx == ival,
- curridx_toggle == ival), subs_options::no_pattern);
+ S = S * e.op(j).subs(lst{curridx == ival, curridx_toggle == ival},
+ subs_options::no_pattern);
}
} else
S = S * e.op(j);
} else {
if (is_a<indexed>(G)) {
D = ex_to<idx>(G.op(1)).get_dim();
- varidx mu((new symbol)->setflag(status_flags::dynallocated), D);
+ varidx mu(dynallocate<symbol>(), D);
cu = clifford_unit(mu, G, rl);
} else if (is_a<matrix>(G)) {
D = ex_to<matrix>(G).rows();
- idx mu((new symbol)->setflag(status_flags::dynallocated), D);
+ idx mu(dynallocate<symbol>(), D);
cu = clifford_unit(mu, G, rl);
} else throw(std::invalid_argument("clifford_moebius_map(): metric should be an indexed object, matrix, or a Clifford unit"));
git://www.ginac.de / ginac.git / blobdiff