| 28 |
#include "basic.h" |
#include "basic.h" |
| 29 |
#include "ex.h" |
#include "ex.h" |
| 30 |
|
|
| 31 |
#ifndef NO_GINAC_NAMESPACE |
#ifndef NO_NAMESPACE_GINAC |
| 32 |
namespace GiNaC { |
namespace GiNaC { |
| 33 |
#endif // ndef NO_GINAC_NAMESPACE |
#endif // ndef NO_NAMESPACE_GINAC |
| 34 |
|
|
| 35 |
class idx : public basic |
class idx : public basic |
| 36 |
{ |
{ |
| 115 |
const exvector & idxv_co); |
const exvector & idxv_co); |
| 116 |
unsigned count_index(const ex & e, const ex & i); |
unsigned count_index(const ex & e, const ex & i); |
| 117 |
|
|
| 118 |
#ifndef NO_GINAC_NAMESPACE |
#ifndef NO_NAMESPACE_GINAC |
| 119 |
} // namespace GiNaC |
} // namespace GiNaC |
| 120 |
#endif // ndef NO_GINAC_NAMESPACE |
#endif // ndef NO_NAMESPACE_GINAC |
| 121 |
|
|
| 122 |
#endif // ndef __GINAC_IDX_H__ |
#endif // ndef __GINAC_IDX_H__ |