On the Interactive and Programming Environment for STAR 1)

The progress of computer algebra has greatly stimulated the devel- opment of mathematical software such as maple and reduce. These software systems prove to be powerful and helpful especially for symbolic computations. However, people still need much perfect software products to handle all kinds of applications. This is even true for considering the applications only related to algebraic computations. Since the appearance of Wu's method from the late of 1970s, it has taken more attention from the field of computer algebra and automated reasoning. Although there exist some packages implementing Wu's method, there is no complete software system that not only implements Wu's method but also provides some other friendly and powerful features. Under the circumstances, we begin to develop the software system STAR (Small Tool for Algebraic Research) from 1995. STAR will implement Wu's method and provides facilities to manipulate polynomials. Besides this, other features will be added to it. In this paper, we describe STAR-PSE, an interactive and pro- gramming environment for STAR. It was implemented by C++. Unix utilities lex and yacc are also used to establish this environment.