/usr/share/axiom-20170501/src/algebra/E04DGFA.spad is in axiom-source 20170501-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 | )abbrev domain E04DGFA e04dgfAnnaType
++ Author: Brian Dupee
++ Date Created: February 1996
++ Date Last Updated: February 1996
++ References:
++ Dupe95 Using Computer Algebra to Choose and Apply Numerical Routines
++ Dewa92 Using Computer Algebra to Select Numerical Algorithms
++ Description:
++ \axiomType{e04dgfAnnaType} is a domain of \axiomType{NumericalOptimization}
++ for the NAG routine E04DGF, a general optimization routine which
++ can handle some singularities in the input function. The function
++ \axiomFun{measure} measures the usefulness of the routine E04DGF
++ for the given problem. The function \axiomFun{numericalOptimization}
++ performs the optimization by using \axiomType{NagOptimisationPackage}.
e04dgfAnnaType() : SIG == CODE where
DF ==> DoubleFloat
EF ==> Expression Float
EDF ==> Expression DoubleFloat
PDF ==> Polynomial DoubleFloat
VPDF ==> Vector Polynomial DoubleFloat
LDF ==> List DoubleFloat
LOCDF ==> List OrderedCompletion DoubleFloat
MDF ==> Matrix DoubleFloat
MPDF ==> Matrix Polynomial DoubleFloat
MF ==> Matrix Float
MEF ==> Matrix Expression Float
LEDF ==> List Expression DoubleFloat
VEF ==> Vector Expression Float
NOA ==> Record(fn:EDF, init:LDF, lb:LOCDF, cf:LEDF, ub:LOCDF)
LSA ==> Record(lfn:LEDF, init:LDF)
EF2 ==> ExpressionFunctions2
MI ==> Matrix Integer
INT ==> Integer
F ==> Float
NNI ==> NonNegativeInteger
S ==> Symbol
LS ==> List Symbol
MVCF ==> MultiVariableCalculusFunctions
ESTOOLS2 ==> ExpertSystemToolsPackage2
SDF ==> Stream DoubleFloat
LSDF ==> List Stream DoubleFloat
SOCDF ==> Segment OrderedCompletion DoubleFloat
OCDF ==> OrderedCompletion DoubleFloat
SIG ==> NumericalOptimizationCategory
CODE ==> Result add
Rep:=Result
import Rep, NagOptimisationPackage, ExpertSystemToolsPackage
measure(R:RoutinesTable,args:NOA) ==
string:String := "e04dgf is "
positive?(#(args.cf) + #(args.lb) + #(args.ub)) =>
string := concat(string,"unsuitable for constrained problems. ")
[0.0,string]
string := concat(string,"recommended")
[getMeasure(R,e04dgf@Symbol)$RoutinesTable, string]
numericalOptimization(args:NOA) ==
argsFn:EDF := args.fn
n:NNI := #(variables(argsFn)$EDF)
fu:DF := float(4373903597,-24,10)$DF
it:INT := max(50,5*n)
lin:DF := float(9,-1,10)$DF
ma:DF := float(1,20,10)$DF
op:DF := float(326,-14,10)$DF
x:MDF := mat(args.init,n)
ArgsFn:Expression Float := edf2ef(argsFn)
f:Union(fn:FileName,fp:Asp49(OBJFUN)) := [retract(ArgsFn)$Asp49(OBJFUN)]
e04dgf(n,1$DF,fu,it,lin,true,ma,op,1,1,n,0,x,-1,f)
|