NETFORM and code optimizer manual

Authors:
J. Smit;J. A. van Hulzen;B. J. A Hulshof
Affiliations:
Twente University of Technology, The Netherlands;Twente University of Technology, The Netherlands;Twente University of Technology, The Netherlands
Venue:
ACM SIGSAM Bulletin
Year:
1981

Citing 4
Cited 2

New recursive minor expansion algorithms

EUROSAM '79 Proceedings of the International Symposiumon on Symbolic and Algebraic Computation
Breuer's grow factor algorithm in computer algebra

SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
A cancellation free algorithm, with factoring capabilities, for the efficient solution of large sparse sets of equations

SYMSAC '81 Proceedings of the fourth ACM symposium on Symbolic and algebraic computation
Standard LISP report

ACM SIGSAM Bulletin

A code optimization package for REDUCE

ISSAC '89 Proceedings of the ACM-SIGSAM 1989 international symposium on Symbolic and algebraic computation
An expression analysis package for REDUCE

ACM SIGSAM Bulletin

Quantified Score

Hi-index	0.00

Visualization

Abstract

NETFORM is a very powerful and flexible tool for solving (sparse) systems of linear equations in algebraic form. The system includes convenient facilities to generate (and solve) linear equations for electrical networks.The accompanying Code Optimizer is a general purpose tool to automatically optimize sets of algebraic expressions, with emphasis on those generated by the NETFORM system.Thus the combination of both systems can be used to solve numerous problems of a symbolic and/or numeric nature, taking full advantage of the REDUCE 2 embedding in which it is supported.For instance NETFORM can automatically provide a user with descriptive (tableau) equations of an arbitrary linear electrical network and, as it solves such linear equations too, calculate any transferfunction of that linear electrical network. The NETFORM environment encourages users to think of electrical networks in terms of network elements, one port elements as well as subnetworks, which can be conveniently described and manipulated.Given a complete network description, NETFORM allows different approaches in analyzing it, i.e. a full symbolic analysis, a hybrid analysis, a state analysis or a mixed hybrid and state analysis.