// d.akl d.bkl = 5/3 delta.ab
} else if (dummy_indices.size() == 2) {
exvector a;
- back_insert_iterator<exvector> ita(a);
+ std::back_insert_iterator<exvector> ita(a);
ita = set_difference(self_indices.begin(), self_indices.end(), dummy_indices.begin(), dummy_indices.end(), ita, ex_is_less());
ita = set_difference(other_indices.begin(), other_indices.end(), dummy_indices.begin(), dummy_indices.end(), ita, ex_is_less());
GINAC_ASSERT(a.size() == 2);
return inherited::info(inf);
}
-struct idx_is_not : public binary_function<ex, unsigned, bool> {
+struct idx_is_not : public std::binary_function<ex, unsigned, bool> {
bool operator() (const ex & e, unsigned inf) const {
return !(ex_to_idx(e).get_value().info(inf));
}
bool swapped = false;
while (i != first) {
if (*i < *other) {
- iter_swap(other, i);
+ std::iter_swap(other, i);
flag = other;
swapped = true;
sign = -sign;
swapped = false;
while (i != last) {
if (*other < *i) {
- iter_swap(i, other);
+ std::iter_swap(i, other);
flag = other;
swapped = true;
sign = -sign;
bool swapped = false;
while (i != first) {
if (comp(*i, *other)) {
- iter_swap(other, i);
+ std::iter_swap(other, i);
flag = other;
swapped = true;
sign = -sign;
swapped = false;
while (i != last) {
if (comp(*other, *i)) {
- iter_swap(i, other);
+ std::iter_swap(i, other);
flag = other;
swapped = true;
sign = -sign;
bool swapped = false;
while (i != first) {
if (comp(*i, *other)) {
- iter_swap(other, i);
+ std::iter_swap(other, i);
flag = other;
swapped = true;
}
swapped = false;
while (i != last) {
if (comp(*other, *i)) {
- iter_swap(i, other);
+ std::iter_swap(i, other);
flag = other;
swapped = true;
}
}
/* Function objects for STL sort() etc. */
-struct ex_is_less : public binary_function<ex, ex, bool> {
+struct ex_is_less : public std::binary_function<ex, ex, bool> {
bool operator() (const ex &lh, const ex &rh) const { return lh.compare(rh) < 0; }
};
-struct ex_is_equal : public binary_function<ex, ex, bool> {
+struct ex_is_equal : public std::binary_function<ex, ex, bool> {
bool operator() (const ex &lh, const ex &rh) const { return lh.is_equal(rh); }
};