Le mardi 18 novembre 2014 17:10:42 UTC+1, Chris Seberino a écrit :
>
> Emmanuel
>
> Any way to make Sage act like it can't find the solution (emit question
> back to user) INSTEAD of emitting the empty set?
>
> "I can't find the solution" and "There is no solution" are NOT the same
> thing?
>
If I remember correctly these two variables need to be set to 'yes':
SAGE_APP_BUNDLE
SAGE_APP_DMG
(I'm guessing that's the case, but just to make sure).
Samuel
Volker Braun wrote:
>
> No, the buildbot sets SAGE_APP_BUNDLE. Possibly a 10.10 SDK issue?
>
> On Tuesday, November 18, 2014 9:00:58 PM
The old sage-bdist script saved the app and non-app version under the same
name, somebody changed that without telling me. Rebuilding now..
On Wednesday, November 19, 2014 9:44:46 AM UTC, slelievre wrote:
>
> If I remember correctly these two variables need to be set to 'yes':
>
> SAGE_APP_BUNDL
> So you can assume that an empty list means only that sage's algorithms
> find no solution.
>
I just looked at the documentation of solve and could not find an explicit
statement about missed solutions.
Even if it is expectable that in some cases (which?) solve may not return
all solutions,
Hello,
when working with an attached file it seems that saving it (at least with
gedit on our file system)
sometimes causes a temporarily disappearance on that file. I have no idea,
if this is caused by the
used file system (mounted NFS) , but sometimes I get from sage ( at least
for 6.4.beta
afair there is already a timeout. You could add an optional argument
attach(..., timeout=1000)
On Wednesday, November 19, 2014 2:58:50 PM UTC, Jakob Kroeker wrote:
>
> Hello,
>
>
> when working with an attached file it seems that saving it (at least with
> gedit on our file system)
> sometimes
> The old sage-bdist script saved the app and non-app version under the same
> name, somebody changed that without telling me. Rebuilding now..
>
>
Aha! Yes, that is true - http://trac.sagemath.org/ticket/16919 - and that
actually is a feature, along with some other nice things. Unfortunately
>
> So you can assume that an empty list means only that sage's algorithms
>> find no solution.
>>
>
> I just looked at the documentation of solve and could not find an explicit
> statement about missed solutions.
>
> Even if it is expectable that in some cases (which?) solve may not return
> a
kcrisman:
> It is similar to how our Booleans on expression comparisons return False
> if we can't prove True
>
Could the usage of a sort of Tristate/multistate implementation kill that
universe of worms?
(With the following design: Tristate only comparable to Tristate objects)
Jakob
A
Le mercredi 19 novembre 2014 16:31:35 UTC+1, Jakob Kroeker a écrit :
>
> kcrisman:
>
>
>> It is similar to how our Booleans on expression comparisons return False
>> if we can't prove True
>>
>
>
> Could the usage of a sort of Tristate/multistate implementation kill that
> universe of worms?
On 2014-11-20, Emmanuel Charpentier wrote:
> BTW, Maxima has this kind of logic (for example, "is" can return "true",
> "false" or "unknown") and uses it, so it's at least conceptually doable.
> And useful ! But with very deep consequences.
For the record, Maxima has a global flag prederror w
11 matches
Mail list logo
