Hi all,
(First time posting to these forums)
Sage is giving me inconsistent results about the Schur positivity of a
certain expression involving products of Schur functions. In the Sage
Cloud, I type:
s = SymmetricFunctions(QQ).schur()
(s([8, 6, 5, 4, 3, 3, 1])*s([8, 7, 5, 3, 3, 2, 1]) -
Hi Sam,
I don't use Sage Notebook, but both my own sage install and the cell
server show True as the result. I suspect this is the right answer.
There have been updates to symmetric functions in the recent history
of Sage, particularly #16560: http://trac.sagemath.org/ticket/16560 .
If your Sage
Hi Sam,
I also get True on combinat.math.washington.edu .
Which version of Sage does your Sage Notebook use?
Best wishes,
Anne
On 7/18/14 12:48 PM, Darij Grinberg wrote:
Hi Sam,
I don't use Sage Notebook, but both my own sage install and the cell
server show True as the result. I suspect
Thanks Darij. Looks like the version of Sage installed on my computer was
5.12. I will update now.
--
You received this message because you are subscribed to the Google Groups
sage-combinat-devel group.
To unsubscribe from this group and stop receiving emails from it, send an email
to
After installing the latest version of Sage on my computer, I get true as
well. Okay thanks everyone. Guess that was a silly thing not to check.
--
You received this message because you are subscribed to the Google Groups
sage-combinat-devel group.
To unsubscribe from this group and stop
On Thursday, July 17, 2014 10:35:32 PM UTC-7, Robert Bradshaw wrote:
I'm not sure multimethods alone are enough to solve issues with Sage's
type system (e.g. coercion, where the result of a+b may happen in a
completely new domain) but they could certainly help.
Indeed. If you want
Hi Eric,
On 2014-07-17, Eric Gourgoulhon egourgoul...@gmail.com wrote:
... as illustrated by the following
2-sphere example:
Quite impressive!
As usual, comments and suggestions are welcome, not speaking about help in
the code development ! (future directions should involve graphical
Hi Simon,
Le vendredi 18 juillet 2014 12:53:22 UTC+2, Simon King a écrit :
Is there any initiative towards PL structures?
No, but feel free to implement it! More generally, some work should be done
for topological manifolds (or even topological spaces) first. Then both
differentiable
Le vendredi 18 juillet 2014 12:53:22 UTC+2, Simon King a écrit :
Hi Eric,
On 2014-07-17, Eric Gourgoulhon egourg...@gmail.com javascript:
wrote:
... as illustrated by the following
2-sphere example:
Quite impressive!
We tried to follow your nice tutorial
On Jul 17, 2014 11:56 PM, Nils Bruin nbr...@sfu.ca wrote:
On Thursday, July 17, 2014 10:35:32 PM UTC-7, Robert Bradshaw wrote:
I'm not sure multimethods alone are enough to solve issues with Sage's
type system (e.g. coercion, where the result of a+b may happen in a
completely new domain) but
As Nils says, Lisp has dealt with this in CLOS (Common Lisp Object System.
Among other advantages, it is possible to properly compile such calls when
the
type discrimination can be done at compile time.
If you have enough
mathematical categories, the discrimination based on implementation
On Friday, July 18, 2014 7:26:00 AM UTC-7, William wrote:
Magma uses multiple dispatch extensively to deal with what our coercion
model code addresses, and it's definitely a step back in my experience.
I agree that in scenarios for which coercion was designed, it works better
than
On Thu, Jul 17, 2014 at 11:56 PM, Nils Bruin nbr...@sfu.ca wrote:
On Thursday, July 17, 2014 10:35:32 PM UTC-7, Robert Bradshaw wrote:
I'm not sure multimethods alone are enough to solve issues with Sage's
type system (e.g. coercion, where the result of a+b may happen in a
completely new
13 matches
Mail list logo