On Wed, Mar 1, 2017 at 1:25 AM, Waldek Hebisch wrote:
> Works for me, but I increased available memory to 20GB and
> it took 797205.81 sec (221.45 hours). The final result
> is reasonable. Clearly there is problem with excessive
> memory use and compute time.
Do you think the most time is spent
Martin R wrote:
>
> Because of limited time I can only make a rather short comment:
>
> it is easiest to make the sage interface work with a representation (I used
> InputForm) that allows you to recreate the object in FriCAS.
Well, there is one representation that allows you to recreate
the ob
>
> (1) -> determinant empty()$Matrix Integer
>
>>> Error detected within library code:
>elt: index out of range
>
> The determinant of 0x0 matrix should be 1.
Fixed now.
> The resultant of non-zero degree 0 polynomials is 1.
No. If degree(p1) = 0 and p2 ~= 0, then
resultant(p1, p2)
It is relatively easy to add a function that appends missing type
information to InputForm. For example:
diff --git a/src/algebra/catdef.spad b/src/algebra/catdef.spad
index ce919f6..2efbfca 100644
--- a/src/algebra/catdef.spad
+++ b/src/algebra/catdef.spad
@@ -1444,10 +1444,14 @@ SetCategory() :
> In this regard I wanted to ask the following:
>
> (1) If I use the command line
>
> apt update
> apt upgrade
>
> will the system proceed on its own to download possibly
> hundreds of megabytes (or even gigabytes) of upgraded
> packages without asking me first?
>
Not at all. Look at the
Because of limited time I can only make a rather short comment:
it is easiest to make the sage interface work with a representation (I used
InputForm) that allows you to recreate the object in FriCAS.
In other words, a domain "GeneralForm" that drops some of the information
is *not* useful.
Th
oldk1331 wrote:
>
> OK, a summarization:
>
> Currently the InputForm has very limited purposes, while what
> we want is some kind of (typed) code printer: I want a Spad code
> printer, Martin wants a Sage code printer, etc. We might want
> a code printer that prints to other CAS language.
>
> C
Nasser wrote:
>
> I get this heap exhausted message from integrate command. May be it is not
> unexpected sometimes. But thought to mention it, just in case.
>
> >fricas
> viewman not present, disabling graphics
> /bin/sh: 1: exec:
> /usr/local/lib/fricas/target/x86_64-unknown-linux/bin/hyperte
On 28 February 2017 at 07:14, oldk1331 wrote:
> On Tue, Feb 28, 2017 at 8:06 PM, Bill Page wrote:
>> What do you mean by "code printer"? I suppose suppose that you must
>> mean something more than just producing a string which when parsed and
>> interpreted re-produces the give code? That is wh
Hi Constantine,
'apt-get' installs Debian packages from repositories defined in
/etc/apt/sources.list.
If you need to install manually a .deb file use `sudo dpkg - i file.deb`
instead.
I do not know the exact syntax of pure 'apt' executable. Kurt may help you
with this.
Hope that helps.
--
Gre
Hi Kurt,
Thanks again for the fast response. Please see my comments below.
%BTW is your system up to date?
%apt update?
%apt upgrade?
%(Possibly it's still apt-get in LTS 14.0)
In this regard I wanted to ask the following:
(1) If I use the command line
apt update
apt upgrade
will the system
On 02/28/2017 01:14 PM, oldk1331 wrote:
> My point is, from typed Spad value to untyped SExpression, there'll
> be loss of information.
Very true.
> If you encode type into SExpression, you have to decode it later. So
> the only way is to "from typed Spad value directly to target language
> exp
(1) -> determinant empty()$Matrix Integer
>> Error detected within library code:
elt: index out of range
The determinant of 0x0 matrix should be 1.
The resultant of non-zero degree 0 polynomials is 1.
Should sylvesterMatrix be defined for non-zero
degree 0 polynomials? Should it give an e
> I think this is case when old saying "do not fix what is
> not broken" applies.
OK, another case: I want to have "-O3" optimization or other
debug information. CFLAGS is not used in src/lib/Makefile.in.
About cross-compilnig, it is complicated for FriCAS. I have
an immature idea: to split Fri
On Tue, Feb 28, 2017 at 8:06 PM, Bill Page wrote:
> What do you mean by "code printer"? I suppose suppose that you must
> mean something more than just producing a string which when parsed and
> interpreted re-produces the give code? That is what InputForm
> provides. Which code? Just a functio
What do you mean by "code printer"? I suppose suppose that you must
mean something more than just producing a string which when parsed and
interpreted re-produces the give code? That is what InputForm
provides. Which code? Just a function? Or an entire domain written in
Spad?
I don't think it m
I have no idea why it was implemented using "order".
diff --git a/src/algebra/float.spad b/src/algebra/float.spad
index f7fd58fb..fbbbda16 100644
--- a/src/algebra/float.spad
+++ b/src/algebra/float.spad
@@ -83,9 +83,9 @@
arbitraryPrecision, arbitraryExponent) with
normalize : % -> %
OK, a summarization:
Currently the InputForm has very limited purposes, while what
we want is some kind of (typed) code printer: I want a Spad code
printer, Martin wants a Sage code printer, etc. We might want
a code printer that prints to other CAS language.
Currently, both InputForm and Output
18 matches
Mail list logo