Having set _EnvExplicit to true, I'd prefer to be able to evalf a result -- if not immediately then at some point further in a hybrid symbolic/numeric computation -- without having to call allvalues as well. Hence, S1, as returned below, is not so useful to me. eqn := 9*x^18-18876*x^16+16529689*x^14-7837385864*x^12 +2181959049699*x^10-361775198334748*x^8 +34591757568218862*x^6-1749887233151574528*x^4 +39011320654172764689*x^2-244636361793658185164: _EnvExplicit := true; S1 := [solve(eqn,x)]; S2 := map(allvalues,S1); There may be examples with weak behaviour, for both mechanisms. But one may be more generally weak than the other. I guess that I see what you mean, SortOf, about implicit representations being more computationally effective. But suppose that one wanted only the roots less than 4, in the above example. Does that not bring a need for them in explicit form? I wonder whether the Maple library itself makes good use of labelled RootOfs. acer

Having set _EnvExplicit to true, I'd prefer to be able to evalf a result -- if not immediately then at some point further in a hybrid symbolic/numeric computation -- without having to call allvalues as well. Hence, S1, as returned below, is not so useful to me. eqn := 9*x^18-18876*x^16+16529689*x^14-7837385864*x^12 +2181959049699*x^10-361775198334748*x^8 +34591757568218862*x^6-1749887233151574528*x^4 +39011320654172764689*x^2-244636361793658185164: _EnvExplicit := true; S1 := [solve(eqn,x)]; S2 := map(allvalues,S1); There may be examples with weak behaviour, for both mechanisms. But one may be more generally weak than the other. I guess that I see what you mean, SortOf, about implicit representations being more computationally effective. But suppose that one wanted only the roots less than 4, in the above example. Does that not bring a need for them in explicit form? I wonder whether the Maple library itself makes good use of labelled RootOfs. acer

Thanks for the input. I think that these are some cases where either the documentation (?solve,details) is lacking or misleading, or there is a weakness in the behaviour. An example of weakness in the behaviour would be this case, in which the single RootOf in the result represents roots of a univariate polynomial of degree less than four, and for which _EnvExplicit is not 'false', but for which a labelled RootOf is returned instead of the small number of finite solutions. I'm just repeating that above, so that someone will take notice and record bugs. I would also be very interested in hearing expert opinion on the relative merits of _EnvExplicit=true vs allvalues(). The fact that one requires manual action after the fact, for each solving, seems a clear difference. But are there others? Do other routines ever make use of the higher-level setting of _EnvExplicit (in the way that int() now sometimes uses _EnvAllSolutions to trigger piecewise results) for internal computation decisions? Is allvalues robust? And so on. acer

Thanks for the input. I think that these are some cases where either the documentation (?solve,details) is lacking or misleading, or there is a weakness in the behaviour. An example of weakness in the behaviour would be this case, in which the single RootOf in the result represents roots of a univariate polynomial of degree less than four, and for which _EnvExplicit is not 'false', but for which a labelled RootOf is returned instead of the small number of finite solutions. I'm just repeating that above, so that someone will take notice and record bugs. I would also be very interested in hearing expert opinion on the relative merits of _EnvExplicit=true vs allvalues(). The fact that one requires manual action after the fact, for each solving, seems a clear difference. But are there others? Do other routines ever make use of the higher-level setting of _EnvExplicit (in the way that int() now sometimes uses _EnvAllSolutions to trigger piecewise results) for internal computation decisions? Is allvalues robust? And so on. acer

In Maple 11, see this help-page, for the modular approach, ?LinearAlgebra,Modular,IntegerLinearSolve I do not believe that the above implementation handles sparse rational systems in any special way, and if that's the case then your huge system will be far too much for it. For your huge sparse integer system, you may be able to use another piece of software named LinBox. You might even be able to use their Maple-LinBox Package to solve it from within Maple. It seems that this would require a Linux system. acer

You can use sort() for this. Eg, tab:=table([1,2,3,4,5,6,7,8,9,10]); indices(tab); op(sort([indices(tab)],(a,b)->op(a)>op(b))); It's not clear how an "automatic" sorting would be able to please everyone. T:=table([a=red,-19=heavy,grass=14]); indices(T); One user's notion of how to sort the indices of T might not match some other user's notion. acer

I have been disappointed with the Dictionary. I would agree with Jacques' comment: the definitions are not always equivalent to the meanings used by Maple itself. This is a shortcoming. I often choose Mathworld for checking definitions online. There are also problems with using the Dictionary to annotate Maple documents, a few of which I'll describe below. One problem is that the full name (or search term) of the definition does not appear within the actual page in the Dictionary within the Help system. But the search term is what the help-system needs in order to locate a definition programmatically as a link, or using the ? query mechanism. For example, open the Dictionary browser in the Standard GUI. From the top menu, select Help->Manuals,Dictionary,and more->Dictionary . Now in the help-browser (left pane) open the H alphabetic items, and select the browser entry for Hamilton's equations of motion. That should open that definition. Now, where is the no-punctuation joined-word search term? It is not in the page. It appears in my Linux window-manager's decoration of the window, but that cannot be cut & pasted. So how can I use my mouse to paste in the following? It's sad, if I cannot. ?hamiltonsequationsofmotion Now here's a second, related problem. In a Document, or text mode in a Worksheet, I can select text and right-click to get a context-menu, in which I choose Convert To->Hyperlink which pops up a small "Hyperlink Properties" window. In that window, I use the drop-down to choose "Dictionary Topic". Ok, so now, why is there no browse action enabled at this point? How does the user figure out, from here, that precisely "Definition, hamiltonsequationsofmotion" must be entered? This is unfriendly. acer

I deduced 4736 registered users by hovering over the maple leaf & number of some recently joined members whose handles appeared in the "Who's new" list. I believe that I was close to spot on, at the time I posted, and that discrepency with Will's figure was due to the later date of his posting. If you hover over Will's leaf, you'll see the number 1, which may be a good hint that it is a userid. Hovering over others' leaves shows a reasonable correlation with the stated time of membership shown on profile pages. I do not know how to easily gather all userids and handles, assuming that these guesses are close to correct. It might be possible using wget and some scripting work (which could be similar to what Will referred to by the term "scraping"). I can only imagine that the csv file posted was a snapshot of a window in time, a subset of the entire set of postings here -- possibly only those since mapleprimes left beta?! acer

% maple11 -s -z |\^/| Maple 11 (X86 64 LINUX) ._|\| |/|_. Copyright (c) Maplesoft, a division of Waterloo Maple Inc. 2007 \ MAPLE / All rights reserved. Maple is a trademark of <____ ____> Waterloo Maple Inc. | Type ? for help. > simplify(2.0*eval(normal)); Segmentation fault If other things are done in the session before the above, then it can instead produce, Error, (in kernels) too many levels of recursion I'm not sure what "kernels" means in that message. bonus escaped local bug in new session: > simplify(1.0*eval(eval)); x2 acer

Here is an entry, for 64bit Linux. On 32bit Linux, the lib64 could be replaced by simply lib. define_external(abort,LIB="/lib64/libc.so.6")(); I notice that the wrapperless external-calling form above works even if maple is started with the -z option to disable system calls. I think that that is a bug. It should be disabled, under that option, in the same way that the Compiler and wrapper-generating external calling are disabled. Compare with this, after starting maple with -z, define_external(abort,WRAPPER,LIB="/lib64/libc.so.6")(); acer

Fewest keystrokes to crash Maple 11 in TTY interface? I guess that I mean bus-error/seg-fault/stack-limit-exceeded/lost-kernel-connection as opposed to runaway in CPU cycles or memory limit exceeded. acer

Fewest keystrokes to crash Maple 11 in TTY interface? I guess that I mean bus-error/seg-fault/stack-limit-exceeded/lost-kernel-connection as opposed to runaway in CPU cycles or memory limit exceeded. acer

You appear to have an error message without the values for its placeholders %1 and %2. What do you see if you immediately follow that with the command lasterror ? acer

You appear to have an error message without the values for its placeholders %1 and %2. What do you see if you immediately follow that with the command lasterror ? acer

With a view that what people write is important, I miss the feature that showed the number of times a blog entry has been viewed. For a large part of the first year of this site, when it was "beta", each blog entry had such a number displayed at the bottom, alongside its other action links. acer