This is https://trac.sagemath.org/ticket/13773
Sage cannot translate Maxima's "if" construct. However, since beta7 there
is the cases function in Sage which can now represent such
condition/expression pairs, so just an interface is needed.
The explanation for the difference between x+2 and x-2 i
Offhand this could be https://trac.sagemath.org/ticket/21811
and Johannes could try to install with SAGE_GCC_INSTALL=yes
Regards,
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, se
Surely libffi4 is something different.
How about this:
https://software.opensuse.org/package/libffi
https://download.opensuse.org/repositories/devel:/libraries:/c_c++/openSUSE_Leap_42.3/x86_64/libffi-devel-3.2.1.git259-11.1.x86_64.rpm
On Monday, October 9, 2017 at 10:00:47 PM UTC+1, Johannes Marti
I am not sure where you get that libffi version from - upstream and upstream
on their github repo haven’t cut a release for a while.
However on the basis that your version could be based on a fork or snapshot
of upstream, I see that FFI_SYSV is defined in headers that are now completely
internal an
There are no older versions offered for downgrade or newer versions for
update.
It is the regular version installed by the operating system.
Am Montag, 9. Oktober 2017 22:14:17 UTC+2 schrieb François Bissey:
>
> Strange version number. Can you install something called just libffi
> version 3.x?
Strange version number. Can you install something called just libffi version
3.x?
> On 10/10/2017, at 08:58, Johannes Martin wrote:
>
> libffi4 5.3.1+r233831-10.1
>
> Am Montag, 9. Oktober 2017 21:09:54 UTC+2 schrieb François Bissey:
> What version of ffi (possibly libffi) is one the system?
libffi4 5.3.1+r233831-10.1
Am Montag, 9. Oktober 2017 21:09:54 UTC+2 schrieb François Bissey:
>
> What version of ffi (possibly libffi) is one the system?
>
> François
>
> > On 10/10/2017, at 07:57, Johannes Martin > wrote:
> >
> > I tried to install sage-8.0 from source on opensuse linux 42.
I forgot to say that I created https://trac.sagemath.org/ticket/24001
for this.
On 2017-10-09 21:15, Jeroen Demeyer wrote:
While working on some dot2tex/graphviz oddities, I noticed something
strange: many of the doctests marked "optional - dot2tex graphviz"
actually pass even when neither dot2
While working on some dot2tex/graphviz oddities, I noticed something
strange: many of the doctests marked "optional - dot2tex graphviz"
actually pass even when neither dot2tex nor graphviz is installed.
There are 28 doctests which have "# optional - dot2tex" or "# optional -
dot2tex graphviz"
What version of ffi (possibly libffi) is one the system?
François
> On 10/10/2017, at 07:57, Johannes Martin wrote:
>
> I tried to install sage-8.0 from source on opensuse linux 42.3
> following the standard procedure
> configure
> make
>
> Any help will be appreciated,
> Johannes Martin.
>
>
I see. I have found an easy solution by defining a method ._pushout_
It works. I have uploaded the branch so you can take a look.
On Monday, October 9, 2017 at 7:55:13 PM UTC+2, David Roe wrote:
>
>
>
> On Mon, Oct 9, 2017 at 1:38 PM, Simon Brandhorst > wrote:
>
>> It helps a bit. Though my prob
On Mon, Oct 9, 2017 at 1:38 PM, Simon Brandhorst wrote:
> It helps a bit. Though my problem right now is that fgp_modules do not
> have a construction defined in the tutorial this is the case. So I have to
> give fgp_modules a construction functor? Or is there an easier way to get a
> pushout?
>
It helps a bit. Though my problem right now is that fgp_modules do not have
a construction defined in the tutorial this is the case. So I have to give
fgp_modules a construction functor? Or is there an easier way to get a
pushout?
On Monday, October 9, 2017 at 12:45:17 PM UTC+2, Simon King wrot
On Thu, Sep 28, 2017 at 2:58 PM, kcrisman wrote:
> 1) At http://www.sagemath.org/download-windows.html it still only has the
> virtual machine solution. Should Erik Bray's solution be there as well?
This has since been updated! :)
--
You received this message because you are subscribed to the
On Monday, October 9, 2017 at 12:40:50 PM UTC+2, Simon King wrote:
>
> I wrote "You are encouraged to make your parent “unique”."
> and
> "Making parents unique can be quite important for an efficient
> implementation,
>because the repeated creation of “the same” parent would take a lot o
A case where this may be relevant:
A,B,C,D submodules of the same ambient vector space, e.g. QQ^n
A/B and C/D have a good pushout (A+C)/(B+D) this is where the sum of two
elements (a+B) + (c +D) lives.
So I have to teach the coercion framework how to create (A + C) / (B + D).
Now if this is not
Thank you Simon :).
Probably, it will take me some time to read/understand though.
Would you review the ticket when it is done?
On Monday, October 9, 2017 at 12:45:17 PM UTC+2, Simon King wrote:
>
> On 2017-10-09, Simon Brandhorst > wrote:
> > Would someone please guide me through this?
> > I wo
+1 for correcting the hash of submodules in these cases! If the
computation is expensive it can be done at the time __hash__ is called.
Note that for "submodules with basis" it is a bit different since you
specify a given set of generators.
Vincent
On 09/10/2017 14:35, Simon Brandhorst wrote
Hi Simon,
thank you for your explanation. Given the concrete example.
Over exact PIDs/fields one can use echelonized matrices/hermite normal form
to get
unique Hashes. As far as I can see they are computed anyways at the time of
initalization of a submodule.
So the upshot is that unless someone
On Monday, October 9, 2017 at 11:30:11 AM UTC+1, Maarten Derickx wrote:
>
> Did you report this to IPython? What did they have to say about it?
Sure, I asked them. See e.g.
https://github.com/ipython/ipython/issues/10364/#issuecomment-334993192
--
You received this message because you are subs
On 2017-10-09, Simon Brandhorst wrote:
> Would someone please guide me through this?
> I would like to learn now to implement such a thing in sage. Yet I wouldn't
> know where to start here.
> It is mathematically quite simple.
Does
http://doc.sagemath.org/html/en/thematic_tutorials/coercion_
Hi Simon,
On 2017-10-09, Simon Brandhorst wrote:
> "While *parents* are unique, equal *elements* of a parent in Sage are not
> necessarily identical. "
> in
> http://doc.sagemath.org/html/en/tutorial/tour_coercion.html
Indeed that's too strict, IMHO. In
http://doc.sagemath.org/html/en/thematic_
Did you report this to IPython? What did they have to say about it?
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To pos
The reason why unique parents were introduced is for speed and memory reasons.
Having a million copies of the same parent around is a bit of a waste, but this
is something that happens quite easily if one does not make parents unique. I
also noticed that submodules violate the "equal => equal ha
In view of https://trac.sagemath.org/ticket/22766 (segfaults at certain tab
completions), caused by IPython doing multi-threaded
tab completion and module importing (via prompt_toolkit),
the only way to fix this at the moment is to switch to "rlipython" - a
backport to IPython 5 of the
old tab
On Sat, Oct 7, 2017 at 3:23 PM, 'Martin R' via sage-devel
wrote:
> I was trying to push to #23847, but get an unhelpful error message... please
> help!
>
> martin@Martin-Laptop:~/sage-patchbot$ git trac push
> Pushing to Trac #23847...
> Guessed remote branch:
> u/mantepse/make_the_experimental_fr
Would someone please guide me through this?
I would like to learn now to implement such a thing in sage. Yet I wouldn't
know where to start here.
It is mathematically quite simple.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe
"While *parents* are unique, equal *elements* of a parent in Sage are not
necessarily identical. "
in
http://doc.sagemath.org/html/en/tutorial/tour_coercion.html
OK. In the parent class it says
"...this is useful if parents are unique, or element_constructor is a bound
method (this latter case
It is a violation of what!? Where did you read that parents should be
unique?
On 09/10/2017 09:26, Simon Brandhorst wrote:
{{{
sage: V = span(QQ,[(1,1),(1,0)])
sage: W = span(QQ,[(0,1),(1,0)])
sage: V
Vector space of degree 2 and dimension 2 over Rational Field
Basis matrix:
[1 0]
[0 1]
sage:
{{{
sage: V = span(QQ,[(1,1),(1,0)])
sage: W = span(QQ,[(0,1),(1,0)])
sage: V
Vector space of degree 2 and dimension 2 over Rational Field
Basis matrix:
[1 0]
[0 1]
sage: W
Vector space of degree 2 and dimension 2 over Rational Field
Basis matrix:
[1 0]
[0 1]
sage: V is W
False
sage: V==W
True
sa
30 matches
Mail list logo
