@bollu, about

`WITH_SYMENGINE_RCP`

, is it possible to look at the config file and create the object with the correct size?
About which version. We test against a specific version, and bump the version from time to time. See symengine/symengine.py for details

@certik, can you make a new repo

It's easier if we do this early, so that we can review @bollu's work incrementally

`symengine/symengine.hs`

so that @bollu, can send a Pull request?It's easier if we do this early, so that we can review @bollu's work incrementally

Ah, it seems I can do that

To do that,

Make sure your local git repo is up-to-date

Delete your github repo.

Fork the symengine repo

Push your local copy to the new fork

Submit a PR

Make sure your local git repo is up-to-date

Delete your github repo.

Fork the symengine repo

Push your local copy to the new fork

Submit a PR

I think there can be a indefinite

`integral`

class similar to `derivative`

class
@CodeMaxx, it's used in several files, for different uses. Let me know if you don't understand any of those

No. It will implement the methods needed for the typeid system. See here, https://github.com/symengine/symengine/blob/master/symengine/basic.h#L258

Another thing… I was thinking of adding

`Infinity`

class. Do we need a new file for it or should it go in `number.cpp`

?
For

`Infinity`

are you going to implement directional infinity like sage?
@rwst should know more about it

I have not seen how it works in sage…Was looking at sympy though. It includes

`Infinity`

, `NegativeInfinity`

and `ComplexInfinity`

By ‘directional’ do you mean positive and negative separately?

And sympy have weird things like

No, Infinity with a direction. (Unit vector along that direction.)

`Infinity+I*2*Infinity == Infinity+I*Infinity`

No, Infinity with a direction. (Unit vector along that direction.)

constant*Infinity should be treated as Infinity shouldn’t it?

I’m not very sure how treating

`Infinity`

as a vector would be useful. I guess I’ll have to look at sage’s code.
And in case of sympy, if you mean that

`Infinity == Infinity`

should have been treated as `false`

, then can be fixed while implementing it for symengine.
Positive infinity can be thought of as a vector along 1 with a magnitude arbitrarily large. -1 for negative infinity.

@CodeMaxx actually Sage has two implementations, an

`InfinityRing`

and infinity with directions inside Pynac:- https://github.com/sagemath/sage/blob/master/src/sage/rings/infinity.py
- https://github.com/pynac/pynac/blob/master/ginac/infinity.h
- https://github.com/pynac/pynac/blob/master/ginac/infinity.cpp

all by Volker Braun. I later limited the latter to three directions but it's reversible and maybe will be reverted at some later time.