]>
Book Contents Previous Section 13.3 Category Assertions Next Section 13.5 Browse Book Index

## 13.4 A Demo

Before looking at the Implementation part of QuadraticForm, let's try some examples.

Build a domain QF.

Define a matrix to be used to construct a quadratic form.

Construct the quadratic form. A package call $QF is necessary since there are other QuadraticForm domains.

Looks like a matrix. Try computing the number of rows. Axiom won't let you.

Create a direct product element v. A package call is again necessary, but Axiom understands your list as denoting a vector.

Compute the product v T Av.

What is 3 times q minus q plus q?

Book Contents Previous Section 13.3 Category Assertions Next Section 13.5 Browse Book Index