Paper Info
Title
FOXBOX: a system for manipulating symbolic objects in black box representation
Abstract
The FOXBOX system puts in practice the black box representa- tion of symbolic objects and provides algorithms for perfor ming the symbolic calculus with such representations. Black box objects are stored as functions. For instance: a black box polynomial is a procedure that takes values for the variables as input and e valu- ates the polynomial at that given point. F OXBOX can compute the greatest common divisor and factorize polynomials in black box representation, producing as output new black boxes. It als o can compute the standard sparse distributed representation of a black box polynomial, for example, one which was computed for an ir- reducible factor. We establish that the black box represent ation of objects can push the size of symbolic expressions far beyond what standard data structures could handle before. Furthermore, F OXBOX demonstrates the generic program de- sign methodology. The FOXBOX system is written in C++. C++ template arguments provide for abstract domain types. Currently, FOXBOX can be compiled with SACLIB 1.1, Gnu-MP 1.0, and NTL 2.0 as its underlying field and polynomial arithmetic. Mu ltiple arithmetic plugins can be used in the same computation. FOXBOX provides an MPI-compliant distribution mechanism that allows for parallel and distributed execution of F OXBOX programs. Finally, FOXBOX plugs into a server/client-style Maple application inter- face.
Year
DOI
Venue
1998
10.1145/281508.281538
ISSAC
Keywords
Field
DocType
black box representation,symbolic object,data structure,generic programming,object oriented,parallel computation,greatest common divisor
Black box (phreaking),The Symbolic,Symbolic-numeric computation,Computer science,Symbolic computation,Theoretical computer science,Data type,Symbolic data analysis,Black box,Symbolic trajectory evaluation
Conference
ISBN
Citations 
PageRank 
1-58113-002-3
24
1.56
References 
Authors
20
2
Name
Order
Citations
PageRank
A. Diaz1707.34
Erich Kaltofen22332261.40