Volker Braun gmail.com> writes:
> > sage: FiniteEnumeratedSet(GF(3))
> > sage: sum(FiniteEnumeratedSet([0,1,2]))
> > 0
> But I would rather blame the use of caching rather than equality
> testing.
> Just removing the caching here isn't that easy, FiniteEnumeratedSet really
is just a UniqueReprese
Concerning interactive 3d vis tools:
Is there currently *any* way of getting Java3D to work reliably
together with sage on, say Mac G5 systems running OSX and on i386/
amd64 with linux? It doesn't necessarily have to be from the notebook,
although that would be preferable. Are instructions for th
On Dec 3, 4:51 pm, "William Stein" <[EMAIL PROTECTED]> wrote:
> > I think Java3d already works fine on Macs and Linux from , so long as
> > you have java installed. I use it "all the time" when I want to do
> > 3d visualization. This was something Robert Bradshaw implemented
> > last summer (it
I've looked into Java3D a bit and it seems to need all kinds of scary
fiddling and installing to get working - especially in a browser.
Instructions I found referred to "jre1.2" and "java2". Given that
"jre1.6" seems to be current, I think those instructions might be
outdated.
Some people here se
OK, I finally found some instructions that looked halfway trustworthy.
https://java3d.dev.java.net/binary-builds.html
has a readme for 1.5.1 that had relatively easy to follow
instructions. These actually worked! I've been able to view the little
"capeman" in a "java applet window" (I guess it d
On Dec 3, 9:55 pm, Robert Bradshaw <[EMAIL PROTECTED]>
wrote:
[...]
> In principle it should be able to download the necessary jars without
> the user having to install anything (beyond Java itself). This is why
> the initial download is so large. Obviously there are robustness
> issues. Also, it
On Dec 3, 10:33 pm, Robert Bradshaw <[EMAIL PROTECTED]>
wrote:
> Actually, that is the point of gluegen-rt.jar--it lets one ship
> native code (so/dll/dylib) libraries within the jars themselves, and
> why there has to be singed code involved. Does the 4x4 applet still
> work for you if you unins
On with the bug reports:
- When I run the applet, I get a scary number of requests for
"trust", including some "identification required" dialogue boxes (on
fedora 7) that supply no information whatsoever. It feels like signing
a blank cheque. These are the kinds of dialogues that students should
Scientific calculator programs already abound. As a gentle
introduction to sage, you might want to consider including a side-
window where the sage commands that effect the same computation scroll
by. That way, one could use it as a "scientific calculator-to-sage"
translator and people might be ab
On Dec 7, 2:23 pm, "Ted Kosan" <[EMAIL PROTECTED]> wrote:
> 1) Not only can the applet inject javascript code into the browser,
> but it can also inject SAGE code into a worksheet. When a given
> applet launches, it can automatically inject code into the SAGE
> environment on the server which ca
> On Dec 11, 2007 3:08 PM, John Voight <[EMAIL PROTECTED]> wrote:
> > Hi,
>
> > Is it possible to automatically login the VMware appliance as "sage"?
You may have other reasons for wanting to have someone logged in
automatically and I don't use the VMs mysef, so perhaps I am
suggesting something
redhat
or fedora systems"]
On Dec 12, 9:05 am, John Voight <[EMAIL PROTECTED]> wrote:
> Thanks Yi and Nils,
>
> Yi: I wasn't sure this really applied, as Ubuntu seems to lack an /etc/
> inittab file. But anyway I downloaded and installed mingetty, created
> suc
At present xgcd(12,2) == (2,1,-5), whereas most people would expect
the answer (2,0,1) [being the smallest linear combination]. Ticket:
http://sagetrac.org/sage_trac/ticket/1482
Since xgcd is central to so many algorithms and is very speed-
sensitive, I hesitate to put in a simple-minded fix. Ho
On Dec 18, 3:35 am, "John Cremona" <[EMAIL PROTECTED]> wrote:
> The only implementations I know of are in
> SiMath (now defunct) and Magma, but it has been suggested as a good
> project for a Masters student to reimplement it in Sage, and someone
> might be doing that.
KANT/KASH (http://www.math.
c 23, 9:40 am, David Harvey <[EMAIL PROTECTED]> wrote:
> Hi Nils,
>
> I've been looking at
>
>http://www.sagetrac.org/sage_trac/ticket/1482
>
> and approximately diagnosed the problem (see comments on the ticket),
> but it's not clear to me exactly
For people who are seriously interested into developing SAGE into a
tool that can easily be used for teaching and/or student assignments,
I warmly recommend that they look into LON-CAPA. It has the advantage
that it is already based on open source technology. Maxima is already
packaged with it for
I posted
http://sagetrac.org/sage_trac/ticket/1751
In general, the incredible persistence of the notebook is great.
However, it makes "deleting" things a rather opaque procedure and it
is not entirely clear to me what to do to make sure that notebook
information has been properly deleted.
--~--~--
*** Preliminary Announcement *
Sage days 9:
Mathematical graphics and visualization workshop
Vancouver, Canada
August 9 - 16, 2008
This instructional workshop is primarily aimed at graduate students in
mathematics and related areas. It will concentrate o
Presently, because forall and exists return tuples rather than
booleans, their return value is always True, so they cannot be used as
a predicate, which is very unintuitive given their names. Proposed
solution: optional parameter witness (default: False) that determines
return value type.
Ticket
bling along with forall and exists when there is a much
nicer option. (I got a tab completion hit on "forall" and "exists" and
assumed those were the right functions to use. They are often not).
That teaches me to *not* write patches :-)
> On Jan 30, 2008 2:45 PM, Nils Bruin
OK, I changed the patch on http://trac.sagemath.org/sage_trac/ticket/1987
so that "forall" and "exists" do not change functionality, but have a
pointer to "all" and "any" in their docstrings. Incidentally, it is
*crucial* to *not* use square brackets inside any and all. If you do,
you destroy any
On Jan 31, 6:50 pm, "William Stein" <[EMAIL PROTECTED]> wrote:
[...]
> Also, in your posted patch you emphasize that forall and exists
> are *NOT* suitable for use in an if, etc. I would have written that
> to use them thus you have to use the ugly forall(...)[0], and it is
> much nicer to use a
I forgot one case. This is weird. Exists seems *faster* than any. That
should never be happening!
sage: L=[1..10^6]
sage: L[10^6-3]=-1
sage: %timeit any(a<0 for a in L)
10 loops, best of 3: 2.47 s per loop
sage: %timeit exists(L, lambda a: a<0)
10 loops, best of 3: 2.83 s per loop
sage: g=lambda
The timing differences between "any" and "exists" still bother me a
bit, so I tried plain sage -ipython:
sage: def exists(S, P):
...: for x in S:
...: if P(x): return True, x
...:
...: return False, None
sage: L=range(10^6)
sage: L[10^6-3]=-1
sage: g=lambda a: a<0
sage
I tried a "sage --upgrade" from a clean, relocated install of sage
2.10. The install seems to succeed, but running sage leads to:
--
| SAGE Version 2.10.1, Release Date: 2008-02-02 |
| Type notebook() for the
It's really convenient that starting up a local notebook actually also
pops up a browser with admin already logged in. There's a slight
issue, though. When one does (AJAX?) operations on the page that has
the decorated URL, the notebook seems to get confused:
http://trac.sagemath.org/sage_trac/ti
Mark uses LLL to solve the knapsack problem that arises from solving
how the local factors should be bundled together to reconstruct the
global factors. It's only used to tame the combinatorial explosion
that you get if there are many local factors, but only very few global
ones.
This is completel
Is there a standard/precedent for function decorations being verbs,
adverbs or adjectives?
I could see the verb from the implementor's point of view (you are
wrapping/changing the given function), but the python syntax puts the
identifying in a clearly declarative place. That indicates that it
sho
I tried the first example below in sage. It failed , complaining that
maxima wanted to know whether x was positive, negative or 0. Hence, I
tried maxima via "sage -maxima". To my surprise, maxima computed the
limit without asking for extra information. Is the maxima that gets
called from sage put
Just a thought: if for some reason, the click event gets registered
twice instead of once, one would go around a cycle of length 3 "the
wrong way around". Perhaps change the cycle length and see how that
affects the bug?
--~--~-~--~~~---~--~~
To post to this group,
-1. While I agree that defaulting to matrices over QQ rather than over
ZZ would lead to more expected behaviour for most users, I don't see
how the rule for changing the base ring can be made both consistent
and cheap.
Imagine R1 = QQ[x,y]/(x^2+y^2-1). Then FieldOfFractions(R1) is well-
defined,
|
| Type notebook() for the GUI, and license() for information.|
--
sage: load 'http://sage.math.washington.edu/home/nils/
automorphic_forms_rings.sage'
Attempting to load remote f
In anticipation of SD9, I tried out viewing sage generated X3D files
using a big projection screen, using LCD shutter 3d glasses. The
results were quite encouraging: The basic infrastructure works.
However, there are lots of small things that could be improved to make
it really useful. I've put a
Would it be possible to have the "download source" file referred to on
the linux download page as well? Right now, one has to go to "other
systems" first, which felt rather counterintuitive.
--~--~-~--~~~---~--~~
To post to this group, send email to sage-devel@goog
On Aug 22, 6:33 pm, David Philp <[EMAIL PROTECTED]> wrote:
> map(lambda x: x>0 and x or 0, data)
> > [0, 2, 3]
>
> Can someone translate that "lambda x: x>0 and x or 0" into William's
> "the words in your head" please?
I suspect this is coming from someone who learned python before it
acqui
On Aug 22, 10:43 am, Harald Schilly <[EMAIL PROTECTED]> wrote:
> >>> data = [-1,2,3]
> >>> gt0 = lambda x: x>0 and x or 0
> >>> map(gt0, data)
>
> [0, 2, 3]
>
> in python - or more geeky
>
> >>> map(lambda x: x>0 and x or 0, data)
I'm sorry for derailing the thread a little bit, but this is actua
I understand that Python really likes things to be comparable with
"<", but from a mathematical point of view the following makes me
cringe:
sage: C.=ComplexField()
sage: 1+i > 1-i
True
sage: 1+i < 1-i
False
Imagine being shown this by a student after you have explained your
complex variables cl
On Aug 23, 1:00 pm, "Fredrik Johansson" <[EMAIL PROTECTED]>
wrote:
> Hardly, considering that this is what Python itself does:
>
> >>> 1+1j > 1-1j
>
> Traceback (most recent call last):
> File "", line 1, in
> TypeError: no ordering relation is defined for complex numbers
Ah, well, if python
With the advent of the new coercion model, did we get the incredibly
cool possibility of adding canonical coercions locally, as promissed
at SD7? I'd love to be able to type something like:
K.=Numberfield(x^2-2)
E=EllipticCurve([0,0,r2,0,0]
for m in K.real_embeddings():
with CanonicalEmbeddin
On Aug 23, 1:27 pm, "William Stein" <[EMAIL PROTECTED]> wrote:
> Did you read through the article Alfredo Portes posted, which
> also explains some of the gotchas and subtleties of disallowing
> comparisons? I'm curious what you thought of it.
At the very least, "<" should be transitive wherev
I confirm this bug. This used to work. I assumed you didn't have a
trac account so I filed a bug report for you. This is now
http://trac.sagemath.org/sage_trac/ticket/3960
I'm sure the developers appreciate your report (I do, but I'm not
really a developer)
On Aug 26, 10:08 am, "Philippe Saade"
aticModule ('3^3')
sage: 5*a
2*a
sage: b*7
b
sage: -a +
2*c
2*a + 2*c
I cannot explain why this works, but if you want to have a look:
http://hg.countnumber.de/fqm-devel/file/98bb736f0c07/cn_group/finite_quadratic_module.sage
(and then l
On 29 Aug., 11:55, mabshoff <[EMAIL PROTECTED]> wrote:
>
> Out of curiosity: Do you plan to submit the code to Sage eventually?
>
> Cheers,
>
> Michael
Hi Michael,
yes, I shall definitely do so within the next weeks.
---Nils
--~--~-~--~~~---
On Sep 3, 5:25 pm, Nick Alexander <[EMAIL PROTECTED]> wrote:
> Hi sage-devel,
>
> So I'd like opinions on two things:
> 1) changing the printing of number field ideals, and
> 2) changing the hash key of a residue field K/I to not reference I
> directly, but instead the map K -> K/I.
I assume that
If we change the name and nature of the objects a little bit, one can
actually write down examples where Robert D's interpretation is not so
outlandish.
For instance:
sage: var("D, x");
sage: f=D^2+D+1;
sage: f(x^3)
x^6 + x^3 + 1
In an article about differential operators, one would probably mea
I probably have funding available to let an undergraduate do some work
on Sage for 4 months. I would welcome a list of programming tasks that
need some attention. The tasks should be rather limited in scope,
because an undergraduate should be able to dive in, work, and get some
result within 4 mon
On Jan 26, 12:39 pm, "Joel B. Mohler" <[EMAIL PROTECTED]> wrote:
> The integer object method "valuation" computes the p-Adic valuation, but the
> polynomial object method "valuation" computes a different sort of valuation.
> It seems to me that they could be more analogous, but maybe there's somet
A wonderful interface and a very useful way of browsing the
documentation.
The help accessibility would really improve if from the prompt it
would be possible to jump to the relevant reference page,
for instance via:
doc(IntegerRing)
Usage script:
1. I am working in sage and need help on, sa
The following is easily found on the man page of ssh, but William
pointed out to me that many users may not be aware of the possibility
to use ssh to forward ports. In particular, if you want to run "sage -
notebook" on computer A, but only want to let it listen to a local
port out of security con
when trying to upgrade to the new linbox-20070219, I get the following
error:
libtool: link: cannot find the library `/usr/local/sage/current/local/
sage/default/local/sage/sage-2.1.2/local/lib/libgmp.la'
my sage-location is identical to the one William attached to an
earlier message.
Originall
Sorry about replying so quickly to myself. In my case, the problem is
indeed solved by replacing line 35 in sage-location by
i = z.rfind('local/')
(A one letter patch!)
I still get the following during the linbox build (on an x86_64
running redhat):
WARNING WARNING
using frickin' slo
Congratulations on the new p-adic model. This really looks very
promising and extensible. A few remarks:
- It should be possible to create elements with a given precision,
without the overhead of first creating the elements to the entire
"cap": If you don't know the precision you'll need yet, yo
> > - Currently trying to create an element in a "lazy" ring leads to a
> > Exception (click to the left for traceback):
> > File "integer.pyx", line 669, in integer.Integer.__pow__
> > TypeError: exponent (=lazy) must be an integer
> > Coerce your numbers to real or complex numbers first.
> > (t
I have tried your examples and I get expected resuts back (i.e., not
the ones you are listing here)
--~--~-~--~~~---~--~~
To post to this group, send email to sage-devel@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more opti
> Yeah. Precision there bears more thinking on. I was actually even
> considering
> having precisions and valuations normalized so that valuation(p) = 1,
> and then only
> integral precisions would be allowed. I'm not sure whether I like
> this idea though...
I'm sure I do not like that idea.
If lots of options get added then menus are unavoidable, but currently
I don't think the options presented in the notebook take up real
estate that would otherwise get good use. Avoiding drop-down menus has
the advantage that all options are immediately visible. Having to
first drop down the menu
There are many cases where you would *WANT* to coerce between
polynomial rings with different orderings, think:
*Q1[x,y] with grevlex for heavy duty computations
*Q2[x,y] wih elimination order for y to project on the x-line
*Q3[x,y] with elimination order for x to project on the y-line
(of cours
I appreciate the great work done on the notebook, but I noticed a few
usability degradations in the 2.4 notebook, having to do with focus of
input cells. I think these are due to the introduction of syntax
highlighting in cells without focus. The highlighting is useful, but
the following problems
If the notebook has a worksheet open in "magma" mode, then tab
completion almost works: One does get relevant completions back, but
all of them are prefixed by "magma." Selecting one of the completions
naturally leads to an error, because "magma.RationalField()" is not
valid magma.
Would it be po
When I did a sage -upgrade, it ran into the following problem for the
installation of the documentation:
Extracting package /usr/local/sage/default/spkg/standard/
doc-2.6.spkg ...
-rw-r--r-- 1 nbruin nbruin 3121152 Jun 5 16:25 /usr/local/sage/
default/spkg/standard/doc-2.6.spkg
doc-2.6/
doc-2.6/
I just posted
http://www.sagemath.org:9002/sage_trac/ticket/386
Currently, once a user outgrows the stage where their "def"s fit
comfortably in cells in the worksheet, there is a rather abrupt change
where they have to learn how to edit and maintain separate files and,
what's more, put them in a
The bug below is actually a blocker for certain linear algebra
problems over Z/dZ. From what I can see,
apparently, elements of Integers(D) can be of one of IntegerMod_int,
IntegerMod_int64 or IntegerMod_gmp
and apparently they get mixed in the same parent. Coercion problems
ensue.
Unfortunately,
Looks great! I assume that the login and account stuff will all be
configurable in the end.
Can that be linked into unix authentication and kerberos tickets? I
guess not . The browser probably doesn't have access to these things.
It would be nice if I don't have to log in to sage to use it on my o
On Jun 27, 1:57 pm, "William Stein" <[EMAIL PROTECTED]> wrote:
> I'm a little worried about creating new accounts for each user, just because
> that means the Notebook server has to have the ability to create new accounts,
> which is probably a pretty serious ability to have. But I suppose sudo
g "ignored".
I understand there are work-arounds, like saving the resulting object
as soon as it is computed, and in long computations it's advisable
anyway to save checkpoints. The sage notebook behaviour used to be
really friendly for these
> [...] Would the following work for you? [...]
>[Save] [Save & Close] [ Close & Leave Running ] [Discard Changes]
Since you ask explicitly, yes that would work. The magical behaviour
before
was really surprisingly friendly, but rather unpredictable in resource
usage.
Keep in mind that it i
Probably something for upstream. Serious error in determinant of an
integer matrix. Sometimes, 0 is returned for a full rank matrix. This
is accompanied by some printed error warning, but no exception is
raised. A bug has been filed:
http://sagetrac.org/sage_trac/ticket/498
but given that this act
Congratulations on your result. This is a very useful project and I am
sure that nearly all computational number theorists will be very
interested in the outcomes. If you do it properly, you could even
considering submitting it to ANTS (it's not really mathematics,
because the objects of study are
thanks to its open architecture, SAGE
would be by far the most suited.
Anyway, if you have any ideas, either on a vis/coll theme or on some
alternative theme, I would be happy to hear from you, either on this
list or via off-list via email if more appropriate.
Kind regards,
I would be very disappointed if this approach would be taken. Sure, it
has to be straightforward and convenient to choose the level of rigour
desired in class group computations, but by default results should be
unconditional. It would be a real shame if SAGE, which tries to up the
level of trustw
A small enhancement that may be useful for people: since sage known
about source file and line number of nearly any piece of code in sage,
why not let sage open an editor window for you?
Currently only works from the command line:
http://sagetrac.org/sage_trac/ticket/768
Please try it out and i
Both the poly.coefficients({x:1,y:2}) and poly.coefficients(x=1,y=2)
seem confusing to me (the latter one downright scary. Exponents and
variable names have no business being on opposite sides of an equality
sign). In mathematical terms, what you want to do is view the
polynomial ring k[x,y,z] as
On Oct 12, 1:25 pm, "Joel B. Mohler" <[EMAIL PROTECTED]> wrote:
[...]
> Suppose I had a poly ring with 19 variables and one of them was named "y".
> How would I get the coefficient for y^0 in your syntax? (That is, the
> constant term in k[y][...].) This is the sticking point in what is curren
I think you can easily make tar-archives that contain a checksum, if
you agree on some extremely mild file naming convention for such a
checksum (i.e., the archive is not allowed to contain a filename that
clashes with the file that stores the checksum). Of course, the key is
that when you add som
See:
http://sagetrac.org/sage_trac/ticket/768
I have updated the attached patch to be clean against 2.8.8.1. When I
checked the edit() command in sage 2.8.8.1, I realized it was really
broken -- It doesn't work if EDITOR is unset in the environment. The
patch attached to the trac ticket is suppo
ditor templates": emacs-fg
and emacs-bg.
On Oct 23, 11:03 pm, "William Stein" <[EMAIL PROTECTED]> wrote:
> On 10/22/07, Nils Bruin <[EMAIL PROTECTED]> wrote:
>
> > See:
>
> >http://sagetrac.org/sage_trac/ticket/768
>
> > I have updated the att
o do. However, as you
describe, it seems too difficult to do so, so I'm happy putting it
back.
On Oct 24, 9:50 am, "William Stein" <[EMAIL PROTECTED]> wrote:
> On 10/24/07, Nils Bruin <[EMAIL PROTECTED]> wrote:
>
> > I understand that the "bg=" hack
> One possibility, which I haven't quite thought through, is to allow the
> user to get away with:
>
> R=PolynomialRing(ZZ)
>
In principle, the only reason why one *has* to give the indeterminates
a name, is to make sure that polynomials can print in a sensible way.
However, in the absence of vari
Since both SFU and UW are PIMS participants, there is a very good case
to
be made for a PIMS funded Sage Days at SFU. We should write a 1 page
proposal:
- Emphasize UW/SFU link (collaboration between different PIMS sites!)
- Come up with other sources of funding. That way PIMS can match
rather
William's comment on "no big picture talk without doing the
work", so I might give the wrapper a further shot if I can solve the
preliminary issues.
Nils
--~--~-~--~~~---~--~~
To post to this group, send an email to sage-devel@googlegroups
On Aug 20, 2:09 pm, Juanjo
wrote:
> > - If one keeps pointers to ECL objects outside of ECL's management
> > (i.e., a cl_object pointer in a cython object), one needs to tell
> > ECL's garbage collector about it. I don't know how.
>
> extern ECL_API void ecl_register_root(cl_object *p);
>
> But
On Aug 21, 2:27 am, Juanjo
wrote:
> [...] ecl_register_root is only scarcely
> used, and only for static variables. If you keep references to objects
> in the C stack, this will not be needed (as far as the garbage
> collector knows your thread)
Thank you very much. Keeping an array of pointers
Maxima can indeed be coerced into behaving like a library in ECL. The
changes required are relatively small and it would be easy to
incorporate them into the current spkg. I haven't bothered, since
other people are already working on a new maxima. Details posted on:
http://trac.sagemath.org/sage_
On Aug 22, 2:23 am, Juanjo
wrote:
> A C function can be used to deactivate trapping of signals
Thanks! that is probably a more elegant way. I found the POSIX
"sigaction" which allows signal handlers to be read and set. Bracing
cl_boot between an appropriate amount of those seems to do the trick
On Aug 22, 2:16 pm, William Stein wrote:
> Nils -- why don't you build everything in your (presumed) account on
> sage.math.washington.edu? Then you can easily given Juanjo access to that,
> since he also has an account on sage.math.washington.edu.
Done. The following is no
The following problem came up while trying to use ecl as a library
inside sage:
Both sage and ecl use GMP for their multi-precision arithmetic, and
both call mp_set_memory_functions to register their memory managers.
This obviously doesn't work, since GMP only keeps track of one set of
memory man
On Aug 23, 3:43 am, Juanjo
wrote:
> > Concerning signals:
> ECL does not need to be notified of signals. The important thing is
> that Sage's code does not interrupt ECL's code at arbitrary places and
> then transfers control out of them.
>
> For instance, interrupts during memory allocation are
.
My compliments on a very clean codebase, by the way. I wasn't
expecting that it would be so easy to figure out how ECL works (but
then again, I might have misunderstood).
Kind regards,
Nils
--~--~-~--~~~---~--~~
To post to this group, send an email to sage-devel
On Aug 23, 1:58 pm, William Stein wrote:
> To whet our appetite though, might you do some benchmarks that compare
> the speed of adding 2+2 via the library and via pexpect?
OK, here's a little experiment. I thought adding 2 and 2 would be too
hard for now, so I stuck with 1+2. Good news is that
On Aug 23, 8:15 pm, William Stein wrote:
> On sage.math (Linux) I get the same timing as you:
That's good, because that's where I did it.
A sage with the ecl library interface is available in "/scratch/nbruin/
sage-4.1.1-ecl-x86_64-Linux" so if you want to do timings for
yourself, you can.
Th
On Aug 24, 7:55 am, Robert Dodier wrote:
> The #$ macro constructs a string input stream and eventually
> calls ADD-LINEINFO so it suffers from the bug I mentioned in
> a previous message.
The $NOLABELS variable seems to live in local scope somewhere, and
hence setting it does not affect the det
On Aug 24, 1:21 pm, "Dr. David Kirkby"
wrote:
> I can see from the processes being created that something is calling
> 'top -b -n' thousands of times. Had Sage been distributed as a big
> tar.bz2 file, I could extract that, and then use a recursive grep to
> find 'top -b -n'.
Why don't you tak
On Aug 24, 2:44 pm, Bill Hart wrote:
> void
> mp_set_memory_functions (void *(*alloc_func) (size_t),
> void *(*realloc_func) (void *, size_t, size_t),
> void (*free_func) (void *, size_t))
> {
> if (alloc_func == 0)
> alloc_func = __gmp_def
On Aug 24, 4:51 pm, Jason Moxham wrote:
> To me 1) sounds like the best option, if ecl links with it own static version
> of gmp , then as long as we aren't leaking any symbols everything should just
> work . We are leaking some symbols though , some by accident , and some on
> purpose for testi
On Aug 24, 5:02 pm, Jason Moxham wrote:
> nlimbs(a+b)<=max(nlimbs(a),nlimbs(b))+1
> nlimbs(a*b)<=nlimbs(a)+nlimbs(b)
>
> but this is for the answer only , it doesn't include any temp space needed to
> perform the calculation eg we multiply by FFT and need approx 6x the space
> above. The temp sp
On Aug 24, 9:02 pm, Robert Bradshaw
wrote:
> I think you can do
>
> -Wl,-Bstatic -lgmp
>
> at the end.
Wonderful, yes that makes the linker look for libgmp.a rather than
ligmp.so. However, the libgmp.a that mpir builds yields the "recompile
with -fPIC" complaint in this situation. I guess for
On Aug 24, 11:41 pm, Robert Bradshaw
wrote:
> I think you can still get an -fPIC libgmp.a directly from the same .o
> files that the libgmp.so uses. Have you tried just adding that flag
> to mpir's make file?
yes. You should look at their makefile. The following commands get
executed when I
On Aug 25, 12:21 am, Nils Bruin wrote:
> On Aug 24, 11:41 pm, Robert Bradshaw
> wrote:
>
> > I think you can still get an -fPIC libgmp.a directly from the same .o
> > files that the libgmp.so uses. Have you tried just adding that flag
> > to mpir's make file?
On Aug 25, 8:15 am, Bill Hart wrote:
> I think by "this capability" I mean the capability GMP/MPIR has of
> allowing user code to supply a memory manager.
>
> I mean, if that is global, doesn't it imply that user code can spy on
> the memory of other user code, say when it comes up for realloc?
>
On Aug 25, 3:41 am, Jason Moxham wrote:
> can you post me a list , there may be also mpn_* mpf_* __gmp_* etc , I think
> we will have to find ALL of them .
The experiment I did indicates that the libecl.so I created did *not*
have the property that I wanted:
1) sage is using gmp.so and is lin
1 - 100 of 1732 matches
Mail list logo
