These are chat archives for symengine/symengine

2nd
Aug 2016
Nishant Nikhil
@nishnik
Aug 02 2016 00:33

Is this desired:

>>> a = FiniteSet(S.UniversalSet, 0, 1, 2)
>>> a
{0, 1, 2, UniversalSet()}
>>> S.UniversalSet.is_subset(a)
False

@isuruf

I think it is wrong.
Isuru Fernando
@isuruf
Aug 02 2016 03:10
a should output UniversalSet
Isuru Fernando
@isuruf
Aug 02 2016 03:46
@nishnik, I guess it depends on how you look at UniversalSet
UniversalSet is a contradiction itself. Is the powerset of UniversalSet equal to the UniversalSet? By definition it should be, but cantor's argument says the cardinality of powerset is higher
Isuru Fernando
@isuruf
Aug 02 2016 04:28
I think the output given is correct. UniversalSet is not a subset of a because a has only 4 elements while UniversalSet has infinite number of elements
Brent Lewis
@coder0xff
Aug 02 2016 04:38
Any tips for building using VIsual Studio? I ran cmake-gui, but of course I get this: Could NOT find GMP (missing: GMP_LIBRARIES GMP_INCLUDE_DIRS)
If you want the MPIR binaries, you can get it at, https://anaconda.org/conda-forge/mpir/files
Brent Lewis
@coder0xff
Aug 02 2016 04:41
cool thanks
Isuru Fernando
@isuruf
Aug 02 2016 04:42
Brent Lewis
@coder0xff
Aug 02 2016 04:42
What is it?
Isuru Fernando
@isuruf
Aug 02 2016 04:43
That's how we build symengine on appveyor, a CI service for windows.
Isuru Fernando
@isuruf
Aug 02 2016 10:25
@spencerlyon2, any luck with Conda.jl on OSX?
I don't have access to an OSX, so can't test it
Spencer Lyon
@sglyon
Aug 02 2016 11:13
Sorry I haven't had a chance to look at it again.
Srajan Garg
@srajangarg
Aug 02 2016 15:00
@isuruf when we call find_generator on a UExprPoly, what should be the behaviour? eg. UExprPoly(x, {{1, y}}) or x*y
Does find_gen return x (as it's trivially the generator) or x, y both?
I think it should be the latter, to keep things as general as possible
Isuru Fernando
@isuruf
Aug 02 2016 15:00
find_generator should not be called on a UExprPoly
see sympy
Srajan Garg
@srajangarg
Aug 02 2016 15:01
For eg, what if someone wants to form a MIntPoly from the same example above
Oh, ok will look into it
What about other polynomials?
Isuru Fernando
@isuruf
Aug 02 2016 15:01
what do you mean?
Srajan Garg
@srajangarg
Aug 02 2016 15:03
UIntPoly etc
It's not handled at the moment, I think it should just return the generator simply
Isuru Fernando
@isuruf
Aug 02 2016 15:04
what does sympy do?
I would do what SymPy does. It's easier that way. Normally we should follow what SymPy does, but differ from SymPy if it involves doing something inefficiently.
Srajan Garg
@srajangarg
Aug 02 2016 19:05
How exactly do you call find_gen in sympy?
Nishant Nikhil
@nishnik
Aug 02 2016 22:26
@isuruf
Is this a bug?
>>> a = Union(Interval(0, 10), FiniteSet(13))
>>> a
[0, 10] U {13}
>>> a in Interval(-1, 15)
False
>>> Interval(-1,15).contains(a)
False