Colin B. Macdonald
Colin B. Macdonald
TODO: - [x] what should we call the function to create a `FiniteSet`? `@sym/finiteset`? or `@sym/set` (this might be confusing re: core `set` function. - [x] how do we convert...
The more I think about this, the more I think we should follow SymPy behaviour (and not Octave double behaviour). Regarding: 1., maybe we should not return matrices. Example: `union([sym(1)...
Possibly related: sympy does something stupid where it assumes the first choice of every piecewise result is the answer (!) This is one reason so many transforms give 0. I've...
@maprieto has added a work around for us, but it still needs to be fixed in upstream sympy
Alternatively: we already have symbolic True and False: ``` >> x == x ans = (sym) True ``` Maybe we could have a `(sym) None`.
See also `isinf(x)`. SymPy would say `None` (we cannot tell if Symbol `x` is finite or not). But currently `isinf.m` maps this case to `False`...
I see. And what is it supposed to do if I pass `num([1 2; 3 4], [5 6; 7 8])`? Is `a = [5 6]` in that case? I'd certainly...
Yes you're right: it would likely require some modifications of the Octave_Codegen printer in SymPy... (for the record, this is "Indexes" in `sympy.utilities.codegen`: but I don't recall if any of...
Bit of a brain dump for future work on this. Here's some current SymPy: ``` A = IndexedBase('A') v = IndexedBase('v') w = IndexedBase('w') i = Idx('i', 2) j =...
Sounds great! Does SMT also allow the `'vars', {'x' 'y'})` form?