|
|
|
last edited 17 years ago by page |
| 1 2 | ||
|
Editor: page
Time: 2007/11/29 02:16:37 GMT-8 |
||
| Note: formating | ||
Now you can see everything inside this fold
This is the second line... Now you can see everything inside this fold
Java is completely different from JavaScript?- the former is a compiled language while the later is a scripting language.
DHTML is the embodiment of a combination of technologies- JavaScript?, CSS, and HTML. Through them a new level of interactivity is possible for the end user experience.
http://www.dynamicdrive.com/dynamicindex17/switchcontent.htm
(1) -> )abbrev domain PPF PointedPrimeField
--%PointedPrimeField
PointedPrimeField(n:PositiveInteger):Cat==Dog where
Cat == FiniteFieldCategory with
foo:PositiveInteger->PrimeField(n)
Dog == PrimeField(n) add
foo(k)==k::Integer::PrimeField(n)
Compiling FriCAS source code from file
/var/lib/zope2.10/instance/axiom-wiki/var/LatexWiki/3896265268149061013-25px.001.spad
using old system compiler.
PPF abbreviates domain PointedPrimeField
------------------------------------------------------------------------
initializing NRLIB PPF for PointedPrimeField
compiling into NRLIB PPF
compiling exported foo : PositiveInteger -> PrimeField n
Time: 0.01 SEC.
(time taken in buildFunctor: 3532)
;;; *** |PointedPrimeField| REDEFINED
;;; *** |PointedPrimeField| REDEFINED
Time: 0.02 SEC.
Cumulative Statistics for Constructor PointedPrimeField
Time: 0.03 seconds
--------------non extending category----------------------
.. PointedPrimeField(#1) of cat
(|Join| (|FiniteFieldCategory|)
(CATEGORY |package|
(SIGNATURE |foo| ((|PrimeField| |#1|) (|PositiveInteger|))))) has no
(|FiniteAlgebraicExtensionField| %) finalizing NRLIB PPF
Processing PointedPrimeField for Browser database:
--->-->PointedPrimeField(constructor): Not documented!!!!
--->-->PointedPrimeField((foo ((PrimeField n) (PositiveInteger)))): Not documented!!!!
--->-->PointedPrimeField(): Missing Description
; compiling file "/var/aw/var/LatexWiki/PPF.NRLIB/PPF.lsp" (written 17 FEB 2025 02:59:05 AM):
; wrote /var/aw/var/LatexWiki/PPF.NRLIB/PPF.fasl
; compilation finished in 0:00:00.008
------------------------------------------------------------------------
PointedPrimeField is now explicitly exposed in frame initial
PointedPrimeField will be automatically loaded when needed from
/var/aw/var/LatexWiki/PPF.NRLIB/PPFMathActionTabs?
a:= [1,2]*t + [2, 3]*u
There are 31 exposed and 40 unexposed library operations named * having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse,or issue )display op * to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named * with argument type(s) List(PositiveInteger) Variable(t)
Perhaps you should use "@" to indicate the required return type,or "$" to specify which version of the function you need.