login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Edit detail for SandBox2 revision 7 of 12

1 2 3 4 5 6 7 8 9 10 11 12
Editor: Bill Page
Time: 2009/10/13 21:38:41 GMT-7
Note: clean up

changed:
-From unknown Thu Jun 23 12:02:22 -0500 2005
-From: unknown
-Date: Thu, 23 Jun 2005 12:02:22 -0500
-Subject: Indefinite intregral
-Message-ID: <20050623120222-0500@page.axiom-developer.org>
Indefinite intregral

changed:
-From unknown Fri Jun 24 04:13:42 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 04:13:42 -0500
-Subject: test1
-Message-ID: <20050624041342-0500@page.axiom-developer.org>
Definite intregral

changed:
-From unknown Fri Jun 24 06:22:10 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 06:22:10 -0500
-Subject: test
-Message-ID: <20050624062210-0500@page.axiom-developer.org>
\begin{axiom}
integrate(1/(a+z^3), z=0..1,"noPole")
\end{axiom}

\begin{axiom}
integrate(a/(b+z^2),z=0..1,"noPole")
\end{axiom}

Solutions of Transcendental Equations

removed:
-From unknown Fri Jun 24 06:23:17 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 06:23:17 -0500
-Subject: test
-Message-ID: <20050624062317-0500@page.axiom-developer.org>
-

changed:
-From unknown Fri Jun 24 06:28:51 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 06:28:51 -0500
-Subject: test
-Message-ID: <20050624062851-0500@page.axiom-developer.org>
\begin{axiom}
solve(cos(x)-y=-sin(x),x)
\end{axiom}

\begin{axiom}
solve(cos(x)=0,x)
\end{axiom}

\begin{axiom}
solve(sin(e) - e = 0, e)
\end{axiom}

\begin{axiom}
solve(a*cos(t1) + b*sin(t1) = c, t1)
\end{axiom}

\begin{axiom}
solve(cos(x)-y=-sin(x),x)
\end{axiom}

Matrices

removed:
-
-From unknown Fri Jun 24 06:30:02 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 06:30:02 -0500
-Subject: 
-Message-ID: <20050624063002-0500@page.axiom-developer.org>

changed:
-From unknown Fri Jun 24 08:26:31 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 08:26:31 -0500
-Subject: test
-Message-ID: <20050624082631-0500@page.axiom-developer.org>
-
-\begin{axiom}
-A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
-B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
-\end{axiom}
-
-From unknown Fri Jun 24 08:27:02 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 08:27:02 -0500
-Subject: test
-Message-ID: <20050624082702-0500@page.axiom-developer.org>
\begin{axiom}
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
\end{axiom}

removed:
-From unknown Fri Jun 24 08:27:20 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 08:27:20 -0500
-Subject: test
-Message-ID: <20050624082720-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 08:28:12 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 08:28:12 -0500
-Subject: test
-Message-ID: <20050624082812-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 08:28:30 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 08:28:30 -0500
-Subject: test
-Message-ID: <20050624082830-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:03:29 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:03:29 -0500
-Subject: test
-Message-ID: <20050624090329-0500@page.axiom-developer.org>
-
-\begin{axiom}
-A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
-B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
-v:=[[v11],[v12]]
-A*v=B*v
-\end{axiom}
-
-From unknown Fri Jun 24 09:04:28 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:04:28 -0500
-Subject: test
-Message-ID: <20050624090428-0500@page.axiom-developer.org>
-
-\begin{axiom}
-A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
-B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
-v:=vector[[v11],[v12]]
-\end{axiom}
-
-From unknown Fri Jun 24 09:05:03 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:05:03 -0500
-Subject: 
-Message-ID: <20050624090503-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:14:17 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:14:17 -0500
-Subject: test
-Message-ID: <20050624091417-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:21:06 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:21:06 -0500
-Subject: 
-Message-ID: <20050624092106-0500@page.axiom-developer.org>
-

removed:
-
-From unknown Fri Jun 24 09:21:37 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:21:37 -0500
-Subject: 
-Message-ID: <20050624092137-0500@page.axiom-developer.org>

removed:
-From unknown Fri Jun 24 09:22:32 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:22:32 -0500
-Subject: 
-Message-ID: <20050624092232-0500@page.axiom-developer.org>
-

changed:
-b.2
-\end{axiom}
-
-From unknown Fri Jun 24 09:25:38 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:25:38 -0500
-Subject: test
-Message-ID: <20050624092538-0500@page.axiom-developer.org>
-
-\begin{axiom}
-A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
-B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
-LA:=[sqrt(-1)*sin(x)+cos(x),-sqrt(-1)*sin(x)+cos(x)]
-\end{axiom}
-
-From unknown Fri Jun 24 09:26:01 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:26:01 -0500
-Subject: test
-Message-ID: <20050624092601-0500@page.axiom-developer.org>
-
-\begin{axiom}
-A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
-B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
-LA:=matrix[sqrt(-1)*sin(x)+cos(x),-sqrt(-1)*sin(x)+cos(x)]
-\end{axiom}
-
-From unknown Fri Jun 24 09:26:56 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:26:56 -0500
-Subject: test
-Message-ID: <20050624092656-0500@page.axiom-developer.org>
-
-\begin{axiom}
-sqrt(-1)
-\end{axiom}
-
-From unknown Fri Jun 24 09:28:13 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:28:13 -0500
-Subject: test
-Message-ID: <20050624092813-0500@page.axiom-developer.org>
-
-\begin{axiom}
-LA:=matrix[sqrt(-1)*sin(x)]
-\end{axiom}
-
-From unknown Fri Jun 24 09:29:29 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:29:29 -0500
-Subject: test
-Message-ID: <20050624092929-0500@page.axiom-developer.org>
\end{axiom}

\begin{axiom}
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
LA1:=[sqrt(-1)*sin(x)+cos(x),-sqrt(-1)*sin(x)+cos(x)]
\end{axiom}

\begin{axiom}
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)
LA1:=matrix[sqrt(-1)*sin(x)+cos(x),-sqrt(-1)*sin(x)+cos(x)]
\end{axiom}

Complex Values

\begin{axiom}
LA1:=matrix[sqrt(-1)*sin(x)]
\end{axiom}

removed:
-From unknown Fri Jun 24 09:30:07 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:30:07 -0500
-Subject: test
-Message-ID: <20050624093007-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:30:27 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:30:27 -0500
-Subject: test
-Message-ID: <20050624093027-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:31:06 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:31:06 -0500
-Subject: test
-Message-ID: <20050624093106-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:31:51 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:31:51 -0500
-Subject: test
-Message-ID: <20050624093151-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:33:03 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:33:03 -0500
-Subject: test
-Message-ID: <20050624093303-0500@page.axiom-developer.org>
-

changed:
-From unknown Fri Jun 24 09:33:48 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:33:48 -0500
-Subject: test
-Message-ID: <20050624093348-0500@page.axiom-developer.org>
-
-\begin{axiom}
-LA:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
-\end{axiom}
-
-From unknown Fri Jun 24 09:34:09 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:34:09 -0500
-Subject: test
-Message-ID: <20050624093409-0500@page.axiom-developer.org>
\begin{axiom}
LA1:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
\end{axiom}

removed:
-From unknown Fri Jun 24 09:34:25 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:34:25 -0500
-Subject: test
-Message-ID: <20050624093425-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:36:42 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:36:42 -0500
-Subject: test
-Message-ID: <20050624093642-0500@page.axiom-developer.org>
-

changed:
-From unknown Fri Jun 24 09:38:09 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:38:09 -0500
-Subject: test
-Message-ID: <20050624093809-0500@page.axiom-developer.org>
-
-\begin{axiom}
-A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
-D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
-v:=matrix[[v11],[v12]]
-\end{axiom}
-
-From unknown Fri Jun 24 09:39:10 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:39:10 -0500
-Subject: test
-Message-ID: <20050624093910-0500@page.axiom-developer.org>
\begin{axiom}
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
v:=matrix[[v11],[v12]]
\end{axiom}

changed:
-From unknown Fri Jun 24 09:40:05 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:40:05 -0500
-Subject: test
-Message-ID: <20050624094005-0500@page.axiom-developer.org>
-
-\begin{axiom}
-A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
-D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
-v:=matrix[[v11],[v12]]
-A*v
-D(1,1)*v
-\end{axiom}
-
-From unknown Fri Jun 24 09:41:41 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:41:41 -0500
-Subject: test
-Message-ID: <20050624094141-0500@page.axiom-developer.org>
\begin{axiom}
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]
v:=matrix[[v11],[v12]]
A*v
D(1,1)*v
\end{axiom}

removed:
-From unknown Fri Jun 24 09:42:09 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:42:09 -0500
-Subject: test
-Message-ID: <20050624094209-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:43:05 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:43:05 -0500
-Subject: test
-Message-ID: <20050624094305-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:43:57 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:43:57 -0500
-Subject: test
-Message-ID: <20050624094357-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:45:02 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:45:02 -0500
-Subject: test
-Message-ID: <20050624094502-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:46:47 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:46:47 -0500
-Subject: test
-Message-ID: <20050624094647-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:47:45 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:47:45 -0500
-Subject: test
-Message-ID: <20050624094745-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:48:26 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:48:26 -0500
-Subject: test
-Message-ID: <20050624094826-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:48:31 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:48:31 -0500
-Subject: test
-Message-ID: <20050624094831-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:48:48 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:48:48 -0500
-Subject: test
-Message-ID: <20050624094848-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:49:40 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:49:40 -0500
-Subject: test
-Message-ID: <20050624094940-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:52:33 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:52:33 -0500
-Subject: test
-Message-ID: <20050624095233-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:53:05 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:53:05 -0500
-Subject: test
-Message-ID: <20050624095305-0500@page.axiom-developer.org>
-

removed:
-From unknown Fri Jun 24 09:54:36 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 09:54:36 -0500
-Subject: test
-Message-ID: <20050624095436-0500@page.axiom-developer.org>
-

changed:
-
-From unknown Fri Jun 24 18:16:40 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 18:16:40 -0500
-Subject: wanna see
-Message-ID: <20050624181640-0500@page.axiom-developer.org>
-
- \begin{axiom}
-  x*x
-  \end{axiom}
-
-From unknown Fri Jun 24 18:24:13 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 18:24:13 -0500
-Subject: 
-Message-ID: <20050624182413-0500@page.axiom-developer.org>
-
-A*v
-
-
-From unknown Fri Jun 24 18:24:38 -0500 2005
-From: unknown
-Date: Fri, 24 Jun 2005 18:24:38 -0500
-Subject: 
-Message-ID: <20050624182438-0500@page.axiom-developer.org>
-
-\begin{axiom}
-  A*v
-  \end{axiom}
-
-From billpage Fri Jun 24 23:36:38 -0500 2005
-From: billpage
-Date: Fri, 24 Jun 2005 23:36:38 -0500
-Subject: My favorite equation
-Message-ID: <20050624233638-0500@page.axiom-developer.org>
\begin{axiom}
A*v
\end{axiom}

removed:
-From unknown Mon Jun 27 13:28:12 -0500 2005
-From: unknown
-Date: Mon, 27 Jun 2005 13:28:12 -0500
-Subject: DONTKNOWMYSELF
-Message-ID: <20050627132812-0500@page.axiom-developer.org>
-

changed:
-From unknown Thu Jun 30 02:46:08 -0500 2005
-From: unknown
-Date: Thu, 30 Jun 2005 02:46:08 -0500
-Subject: 
-Message-ID: <20050630024608-0500@page.axiom-developer.org>
-
-solve(cos(x)=0,x)
-
-From unknown Thu Jun 30 02:46:47 -0500 2005
-From: unknown
-Date: Thu, 30 Jun 2005 02:46:47 -0500
-Subject: 
-Message-ID: <20050630024647-0500@page.axiom-developer.org>
-
-\begin{axiom}
-solve(cos(x)-y=-sin(x),x)
-\end{axiom}
-
-From unknown Thu Jun 30 02:47:28 -0500 2005
-From: unknown
-Date: Thu, 30 Jun 2005 02:47:28 -0500
-Subject: 
-Message-ID: <20050630024728-0500@page.axiom-developer.org>
-
-\begin{axiom}
-solve(cos(x)=0,x)
-\end{axiom}
-
-From unknown Thu Jun 30 15:06:13 -0500 2005
-From: unknown
-Date: Thu, 30 Jun 2005 15:06:13 -0500
-Subject: 
-Message-ID: <20050630150613-0500@page.axiom-developer.org>
-
-solve(sin(e) - e = 0, e)
-
-
-From unknown Thu Jun 30 15:07:05 -0500 2005
-From: unknown
-Date: Thu, 30 Jun 2005 15:07:05 -0500
-Subject: solve(sin(e) - e = 0, e)
-Message-ID: <20050630150705-0500@page.axiom-developer.org>
-
-
-
-From unknown Thu Jun 30 15:08:18 -0500 2005
-From: unknown
-Date: Thu, 30 Jun 2005 15:08:18 -0500
-Subject: 
-Message-ID: <20050630150818-0500@page.axiom-developer.org>
-
-\begin{axiom}
-solve(sin(e) - e = 0, e)
-\end{axiom}
-
-From unknown Fri Jul 1 08:04:26 -0500 2005
-From: unknown
-Date: Fri, 01 Jul 2005 08:04:26 -0500
-Subject: test1
-Message-ID: <20050701080426-0500@page.axiom-developer.org>
-In-Reply-To: <20050624041342-0500@page.axiom-developer.org>
-
-solve(a*cos(t1) + b*sin(t1) = c, t1)
-
-From unknown Sat Jul 2 05:58:11 -0500 2005
-From: unknown
-Date: Sat, 02 Jul 2005 05:58:11 -0500
-Subject: 
-Message-ID: <20050702055811-0500@page.axiom-developer.org>
-
-\begin{axiom}
-solve(a*cos(t1) + b*sin(t1) = c, t1)
-\end{axiom}
-
-From unknown Sun Jul 3 17:03:37 -0500 2005
-From: unknown
-Date: Sun, 03 Jul 2005 17:03:37 -0500
-Subject: tst
-Message-ID: <20050703170337-0500@page.axiom-developer.org>
-
-solve(D(y x, x)^2+y x=1,y,x)
-
-From unknown Sun Jul 3 17:04:48 -0500 2005
-From: unknown
-Date: Sun, 03 Jul 2005 17:04:48 -0500
-Subject: tst2
-Message-ID: <20050703170448-0500@page.axiom-developer.org>
Differential Equations

removed:
-From unknown Sun Jul 3 17:08:08 -0500 2005
-From: unknown
-Date: Sun, 03 Jul 2005 17:08:08 -0500
-Subject: tst3
-Message-ID: <20050703170808-0500@page.axiom-developer.org>
-
-x*x
-
-From unknown Sun Jul 3 17:10:42 -0500 2005
-From: unknown
-Date: Sun, 03 Jul 2005 17:10:42 -0500
-Subject: tst4
-Message-ID: <20050703171042-0500@page.axiom-developer.org>
-

removed:
-
-From unknown Sun Jul 3 17:12:39 -0500 2005
-From: unknown
-Date: Sun, 03 Jul 2005 17:12:39 -0500
-Subject: 
-Message-ID: <20050703171239-0500@page.axiom-developer.org>

removed:
-
-From unknown Sun Jul 3 17:17:19 -0500 2005
-From: unknown
-Date: Sun, 03 Jul 2005 17:17:19 -0500
-Subject: 
-Message-ID: <20050703171719-0500@page.axiom-developer.org>

removed:
-From unknown Sun Jul 3 17:26:34 -0500 2005
-From: unknown
-Date: Sun, 03 Jul 2005 17:26:34 -0500
-Subject: tst5
-Message-ID: <20050703172634-0500@page.axiom-developer.org>
-

removed:
-
-From unknown Thu Jul 14 12:59:13 -0500 2005
-From: unknown
-Date: Thu, 14 Jul 2005 12:59:13 -0500
-Subject: 
-Message-ID: <20050714125913-0500@page.axiom-developer.org>
-

removed:
-
-From unknown Thu Jul 14 13:08:54 -0500 2005
-From: unknown
-Date: Thu, 14 Jul 2005 13:08:54 -0500
-Subject: 
-Message-ID: <20050714130854-0500@page.axiom-developer.org>
-

removed:
-
-From unknown Thu Jul 14 13:11:59 -0500 2005
-From: unknown
-Date: Thu, 14 Jul 2005 13:11:59 -0500
-Subject: 
-Message-ID: <20050714131159-0500@page.axiom-developer.org>
-

removed:
-
-From unknown Thu Jul 14 13:14:35 -0500 2005
-From: unknown
-Date: Thu, 14 Jul 2005 13:14:35 -0500
-Subject: 
-Message-ID: <20050714131435-0500@page.axiom-developer.org>
-

removed:
-
-
-From unknown Fri Dec 30 14:25:06 -0600 2005
-From: unknown
-Date: Fri, 30 Dec 2005 14:25:06 -0600
-Subject: pokus
-Message-ID: <20051230142506-0600@wiki.axiom-developer.org>
-
-    \begin{axiom}
-    integrate(1/(a+z^3), z=0..1,"noPole")
-    \end{axiom}
-
-From BillPage Tue Jan 10 08:30:42 -0600 2006
-From: Bill Page
-Date: Tue, 10 Jan 2006 08:30:42 -0600
-Subject: 
-Message-ID: <20060110083042-0600@wiki.axiom-developer.org>
-
-\begin{axiom}
-integrate(a/(b+z^2),z=0..1,"noPole")
-\end{axiom}
-
-
-From mikee Thu Feb 8 10:26:51 -0600 2007
-From: mikee
-Date: Thu, 08 Feb 2007 10:26:51 -0600
-Subject: solve
-Message-ID: <20070208102651-0600@wiki.axiom-developer.org>

removed:
-
-From mikee Thu Feb 8 11:12:29 -0600 2007
-From: mikee
-Date: Thu, 08 Feb 2007 11:12:29 -0600
-Subject: solve
-Message-ID: <20070208111229-0600@wiki.axiom-developer.org>
-

changed:
-
-From BillPage Thu Feb 8 11:50:51 -0600 2007
-From: Bill Page
-Date: Thu, 08 Feb 2007 11:50:51 -0600
-Subject: solution in Expression domain
-Message-ID: <20070208115051-0600@wiki.axiom-developer.org>
Solutions in Expression domain

removed:
-
-From aidscher Fri Jun 1 12:08:38 -0500 2007
-From: aidscher
-Date: Fri, 01 Jun 2007 12:08:38 -0500
-Subject: cg
-Message-ID: <20070601120838-0500@wiki.axiom-developer.org>

removed:
-From unknown Tue Nov 27 11:55:04 -0800 2007
-From: 
-Date: Tue, 27 Nov 2007 11:55:04 -0800
-Subject: testxxxx
-Message-ID: <20071127115504-0800@axiom-wiki.newsynthesis.org>
-
-solve(cos(x)-y=-sin(x),x)
-
-From BillPage Tue Nov 27 12:02:27 -0800 2007
-From: Bill Page
-Date: Tue, 27 Nov 2007 12:02:27 -0800
-Subject: need !\begin{axiom}...\end{axiom}
-Message-ID: <20071127120227-0800@axiom-wiki.newsynthesis.org>
-
-\begin{axiom}
-)clear all
-solve(cos(x)-y=-sin(x),x)
-\end{axiom}

Indefinite intregral

arctan = atan

axiom
integrate(1/atan(x),x)

\label{eq1}\int^{
\displaystyle
x}{{1 \over{\arctan \left({\%J}\right)}}\ {d \%J}}(1)
Type: Union(Expression(Integer),...)

Definite intregral

axiom
integrate(1/(a+z^3), z=0..1,"noPole");
Type: Union(f1: OrderedCompletion(Expression(Integer)),...)

axiom
integrate(1/(a+z^3), z=0..1,"noPole")

\label{eq2}{\left(
\begin{array}{@{}l}
\displaystyle
-{{\sqrt{3}}\ {\log{\left({{3 \ {a^2}\ {{\root{3}\of{a^2}}^2}}+{{\left(-{2 \ {a^3}}+{a^2}\right)}\ {\root{3}\of{a^2}}}+{a^4}-{2 \ {a^3}}}\right)}}}+{2 \ {\sqrt{3}}\ {\log \left({{{\root{3}\of{a^2}}^2}+{2 \  a \ {\root{3}\of{a^2}}}+{a^2}}\right)}}+ 
\
\
\displaystyle
{{12}\ {\arctan \left({{{2 \ {\sqrt{3}}\ {\root{3}\of{a^2}}}-{a \ {\sqrt{3}}}}\over{3 \  a}}\right)}}+{2 \  \pi}
(2)
Type: Union(f1: OrderedCompletion(Expression(Integer)),...)

axiom
integrate(a/(b+z^2),z=0..1,"noPole")

\label{eq3}\begin{array}{@{}l}
\displaystyle
\left[{{\left(
\begin{array}{@{}l}
\displaystyle
-{2 \  a \ {\log \left({\sqrt{- b}}\right)}}+ 
\
\
\displaystyle
{a \ {\log \left({{{{\left(-{4 \ {b^2}}+{4 \  b}\right)}\ {\sqrt{- b}}}-{b^3}+{6 \ {b^2}}- b}\over{{b^2}+{2 \  b}+ 1}}\right)}}
(3)
Type: Union(f2: List(OrderedCompletion(Expression(Integer))),...)

Solutions of Transcendental Equations

axiom
solve(cos(x)-y=-sin(x),x)

\label{eq4}\begin{array}{@{}l}
\displaystyle
\left[{x ={2 \ {\arctan \left({{{\sqrt{-{y^2}+ 2}}+ 1}\over{y + 1}}\right)}}}, \: \right.
\
\
\displaystyle
\left.{x = -{2 \ {\arctan \left({{{\sqrt{-{y^2}+ 2}}- 1}\over{y + 1}}\right)}}}\right] 
(4)
Type: List(Equation(Expression(Integer)))

axiom
solve(cos(x)-y=-sin(x),y)

\label{eq5}\left[{y ={{\sin \left({x}\right)}+{\cos \left({x}\right)}}}\right](5)
Type: List(Equation(Expression(Integer)))

axiom
solve(cos(x)-y=-sin(x),x)

\label{eq6}\begin{array}{@{}l}
\displaystyle
\left[{x ={2 \ {\arctan \left({{{\sqrt{-{y^2}+ 2}}+ 1}\over{y + 1}}\right)}}}, \: \right.
\
\
\displaystyle
\left.{x = -{2 \ {\arctan \left({{{\sqrt{-{y^2}+ 2}}- 1}\over{y + 1}}\right)}}}\right] 
(6)
Type: List(Equation(Expression(Integer)))

axiom
solve(cos(x)=0,x)

\label{eq7}\left[{x ={\pi \over 2}}\right](7)
Type: List(Equation(Expression(Integer)))

axiom
solve(sin(e) - e = 0, e)

\label{eq8}\left[ \right](8)
Type: List(Equation(Expression(Integer)))

axiom
solve(a*cos(t1) + b*sin(t1) = c, t1)

\label{eq9}\begin{array}{@{}l}
\displaystyle
\left[{t 1 ={2 \ {\arctan \left({{{\sqrt{-{c^2}+{b^2}+{a^2}}}+ b}\over{c + a}}\right)}}}, \: \right.
\
\
\displaystyle
\left.{t 1 = -{2 \ {\arctan \left({{{\sqrt{-{c^2}+{b^2}+{a^2}}}- b}\over{c + a}}\right)}}}\right] 
(9)
Type: List(Equation(Expression(Integer)))

axiom
solve(cos(x)-y=-sin(x),x)

\label{eq10}\begin{array}{@{}l}
\displaystyle
\left[{x ={2 \ {\arctan \left({{{\sqrt{-{y^2}+ 2}}+ 1}\over{y + 1}}\right)}}}, \: \right.
\
\
\displaystyle
\left.{x = -{2 \ {\arctan \left({{{\sqrt{-{y^2}+ 2}}- 1}\over{y + 1}}\right)}}}\right] 
(10)
Type: List(Equation(Expression(Integer)))

Matrices

axiom
A:=matrix[[cos(x)-y,-sin(x)],[sin(x),cos(x)-y]]

\label{eq11}\left[ 
\begin{array}{cc}
{{\cos \left({x}\right)}- y}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{{\cos \left({x}\right)}- y}
(11)
Type: Matrix(Expression(Integer))

axiom
A:=matrix[[cos(x)-y,-sin(x)],[sin(x),cos(x)-y]]

\label{eq12}\left[ 
\begin{array}{cc}
{{\cos \left({x}\right)}- y}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{{\cos \left({x}\right)}- y}
(12)
Type: Matrix(Expression(Integer))
axiom
solve(A=0,y)
There are 18 exposed and 3 unexposed library operations named solve having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op solve to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named solve with argument type(s) Equation(SquareMatrix(2,Expression(Integer))) Variable(y)
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

\label{eq13}\left[ 
\begin{array}{cc}
{{\cos \left({x}\right)}- L}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{{\cos \left({x}\right)}- L}
(13)
Type: Matrix(Expression(Integer))
axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

\label{eq14}\left[{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}, \:{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}\right](14)
Type: List(Equation(Expression(Integer)))

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

\label{eq15}\left[ 
\begin{array}{cc}
{{\cos \left({x}\right)}- L}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{{\cos \left({x}\right)}- L}
(15)
Type: Matrix(Expression(Integer))
axiom
B=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

\label{eq16}\begin{array}{@{}l}
\displaystyle
{\left[{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}, \:{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}\right]}= \
\
\displaystyle
{\left[{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}, \:{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}\right]}
(16)
Type: Equation(List(Equation(Expression(Integer))))
axiom
B(1)

\label{eq17}L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}(17)
Type: Equation(Expression(Integer))

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

\label{eq18}\left[ 
\begin{array}{cc}
{{\cos \left({x}\right)}- L}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{{\cos \left({x}\right)}- L}
(18)
Type: Matrix(Expression(Integer))
axiom
B=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

\label{eq19}\begin{array}{@{}l}
\displaystyle
{\left[{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}, \:{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}\right]}= \
\
\displaystyle
{\left[{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}, \:{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}\right]}
(19)
Type: Equation(List(Equation(Expression(Integer))))
axiom
B

\label{eq20}\left[{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}, \:{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}\right](20)
Type: List(Equation(Expression(Integer)))

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

\label{eq21}\left[ 
\begin{array}{cc}
{{\cos \left({x}\right)}- L}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{{\cos \left({x}\right)}- L}
(21)
Type: Matrix(Expression(Integer))
axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

\label{eq22}\left[{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}, \:{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}\right](22)
Type: List(Equation(Expression(Integer)))
axiom
B

\label{eq23}\left[{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}, \:{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}\right](23)
Type: List(Equation(Expression(Integer)))

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

\label{eq24}\left[ 
\begin{array}{cc}
{{\cos \left({x}\right)}- L}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{{\cos \left({x}\right)}- L}
(24)
Type: Matrix(Expression(Integer))
axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

\label{eq25}\left[{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}, \:{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}\right](25)
Type: List(Equation(Expression(Integer)))
axiom
B.1

\label{eq26}L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}(26)
Type: Equation(Expression(Integer))

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

\label{eq27}\left[ 
\begin{array}{cc}
{{\cos \left({x}\right)}- L}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{{\cos \left({x}\right)}- L}
(27)
Type: Matrix(Expression(Integer))
axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

\label{eq28}\left[{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}, \:{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}\right](28)
Type: List(Equation(Expression(Integer)))
axiom
v:=vector[v11,v12]

\label{eq29}\left[ v 11, \: v 12 \right](29)
Type: Vector(OrderedVariableList([v11,v12]))

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

\label{eq30}\left[ 
\begin{array}{cc}
{{\cos \left({x}\right)}- L}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{{\cos \left({x}\right)}- L}
(30)
Type: Matrix(Expression(Integer))
axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

\label{eq31}\left[{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}, \:{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}\right](31)
Type: List(Equation(Expression(Integer)))
axiom
v:=matrix[[B.1],[B.2]]

\label{eq32}\left[ 
\begin{array}{c}
{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}
\
{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}
(32)
Type: Matrix(Equation(Expression(Integer)))

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

\label{eq33}\left[ 
\begin{array}{cc}
{{\cos \left({x}\right)}- L}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{{\cos \left({x}\right)}- L}
(33)
Type: Matrix(Expression(Integer))
axiom
[a,b]:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

\label{eq34}\left[{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}, \:{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}\right](34)
Type: List(Equation(Expression(Integer)))

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

\label{eq35}\left[ 
\begin{array}{cc}
{{\cos \left({x}\right)}- L}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{{\cos \left({x}\right)}- L}
(35)
Type: Matrix(Expression(Integer))
axiom
[a,b]:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

\label{eq36}\left[{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}, \:{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}\right](36)
Type: List(Equation(Expression(Integer)))
axiom
a

\label{eq37}L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}(37)
Type: Equation(Expression(Integer))
axiom
b

\label{eq38}L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}(38)
Type: Equation(Expression(Integer))

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

\label{eq39}\left[ 
\begin{array}{cc}
{{\cos \left({x}\right)}- L}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{{\cos \left({x}\right)}- L}
(39)
Type: Matrix(Expression(Integer))
axiom
[a,b]:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

\label{eq40}\left[{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}, \:{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}\right](40)
Type: List(Equation(Expression(Integer)))
axiom
a

\label{eq41}L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}(41)
Type: Equation(Expression(Integer))

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

\label{eq42}\left[ 
\begin{array}{cc}
{{\cos \left({x}\right)}- L}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{{\cos \left({x}\right)}- L}
(42)
Type: Matrix(Expression(Integer))
axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

\label{eq43}\left[{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}, \:{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}\right](43)
Type: List(Equation(Expression(Integer)))
axiom
LA1:=[sqrt(-1)*sin(x)+cos(x),-sqrt(-1)*sin(x)+cos(x)]

\label{eq44}\left[{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}, \:{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}\right](44)
Type: List(Expression(Integer))

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]

\label{eq45}\left[ 
\begin{array}{cc}
{{\cos \left({x}\right)}- L}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{{\cos \left({x}\right)}- L}
(45)
Type: Matrix(Expression(Integer))
axiom
B:=solve(A(1,1)*A(2,2)-A(2,1)*A(1,2)=0,L)

\label{eq46}\left[{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}, \:{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}\right](46)
Type: List(Equation(Expression(Integer)))
axiom
LA1:=matrix[sqrt(-1)*sin(x)+cos(x),-sqrt(-1)*sin(x)+cos(x)]

\label{eq47}matrix_{{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}, \:{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}(47)
Type: Symbol

Complex Values

axiom
LA1:=matrix[sqrt(-1)*sin(x)]

\label{eq48}matrix_{{\sqrt{- 1}}\ {\sin \left({x}\right)}}(48)
Type: Symbol

axiom
A:=matrix[cos(x)-L]

\label{eq49}matrix_{{\cos \left({x}\right)}- L}(49)
Type: Symbol

axiom
A:=matrix[a,b]

\label{eq50}matrix_{{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}, \:{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}}(50)
Type: Symbol

axiom
A:=matrix[[a,b]]

\label{eq51}\left[ 
\begin{array}{cc}
{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}&{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}
(51)
Type: Matrix(Equation(Expression(Integer)))

axiom
A:=matrix[[a],[b]]

\label{eq52}\left[ 
\begin{array}{c}
{L ={{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}
\
{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}
(52)
Type: Matrix(Equation(Expression(Integer)))

axiom
A:=matrix[[sqrt(-1)*sin(x)+cos(x)],[b]]

\label{eq53}matrix_{{\left[{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}\right]}, \:{\left[{L ={-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}}\right]}}(53)
Type: Symbol

axiom
A:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)*cos(x)]]

\label{eq54}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
-{{\sqrt{- 1}}\ {\cos \left({x}\right)}\ {\sin \left({x}\right)}}
(54)
Type: Matrix(Expression(Integer))

axiom
LA1:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq55}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(55)
Type: Matrix(Expression(Integer))

axiom
LAM:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq56}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(56)
Type: Matrix(Expression(Integer))

axiom
L:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq57}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(57)
Type: Matrix(Expression(Integer))

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named - having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op - to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named - with argument type(s) Expression(Integer) Matrix(Expression(Integer))
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq58}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(58)
Type: Matrix(Expression(Integer))
axiom
A*D
>> Error detected within library code: can't multiply matrices of incompatible dimensions

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named - having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op - to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named - with argument type(s) Expression(Integer) Matrix(Expression(Integer))
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq59}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(59)
Type: Matrix(Expression(Integer))
axiom
v:=matrix[[v11],[v12]]

\label{eq60}\left[ 
\begin{array}{c}
v 11 
\
v 12 
(60)
Type: Matrix(Polynomial(Integer))

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named - having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op - to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named - with argument type(s) Expression(Integer) Matrix(Expression(Integer))
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq61}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(61)
Type: Matrix(Expression(Integer))
axiom
v:=matrix[[v11],[v12]]

\label{eq62}\left[ 
\begin{array}{c}
v 11 
\
v 12 
(62)
Type: Matrix(Polynomial(Integer))
axiom
A*v
>> Error detected within library code: can't multiply matrices of incompatible dimensions

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named - having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op - to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named - with argument type(s) Expression(Integer) Matrix(Expression(Integer))
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq63}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(63)
Type: Matrix(Expression(Integer))
axiom
v:=matrix[[v11],[v12]]

\label{eq64}\left[ 
\begin{array}{c}
v 11 
\
v 12 
(64)
Type: Matrix(Polynomial(Integer))
axiom
A*v
>> Error detected within library code: can't multiply matrices of incompatible dimensions

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named - having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op - to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named - with argument type(s) Expression(Integer) Matrix(Expression(Integer))
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq65}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(65)
Type: Matrix(Expression(Integer))
axiom
v:=matrix[[v11],[v12]]

\label{eq66}\left[ 
\begin{array}{c}
v 11 
\
v 12 
(66)
Type: Matrix(Polynomial(Integer))
axiom
A*v
>> Error detected within library code: can't multiply matrices of incompatible dimensions

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named - having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op - to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named - with argument type(s) Expression(Integer) Matrix(Expression(Integer))
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq67}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(67)
Type: Matrix(Expression(Integer))
axiom
v:=matrix[[v11],[v12]]

\label{eq68}\left[ 
\begin{array}{c}
v 11 
\
v 12 
(68)
Type: Matrix(Polynomial(Integer))
axiom
A*v
>> Error detected within library code: can't multiply matrices of incompatible dimensions

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named - having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op - to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named - with argument type(s) Expression(Integer) Matrix(Expression(Integer))
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq69}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(69)
Type: Matrix(Expression(Integer))
axiom
v:=matrix[[v11],[v12]]

\label{eq70}\left[ 
\begin{array}{c}
v 11 
\
v 12 
(70)
Type: Matrix(Polynomial(Integer))
axiom
A*v
>> Error detected within library code: can't multiply matrices of incompatible dimensions

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named - having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op - to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named - with argument type(s) Expression(Integer) Matrix(Expression(Integer))
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq71}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(71)
Type: Matrix(Expression(Integer))
axiom
v:=matrix[[v11],[v12]]

\label{eq72}\left[ 
\begin{array}{c}
v 11 
\
v 12 
(72)
Type: Matrix(Polynomial(Integer))
axiom
A*v
>> Error detected within library code: can't multiply matrices of incompatible dimensions

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named - having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op - to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named - with argument type(s) Expression(Integer) Matrix(Expression(Integer))
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq73}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(73)
Type: Matrix(Expression(Integer))
axiom
v:=matrix[[v11],[v12]]

\label{eq74}\left[ 
\begin{array}{c}
v 11 
\
v 12 
(74)
Type: Matrix(Polynomial(Integer))
axiom
A*v
>> Error detected within library code: can't multiply matrices of incompatible dimensions

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named - having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op - to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named - with argument type(s) Expression(Integer) Matrix(Expression(Integer))
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq75}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(75)
Type: Matrix(Expression(Integer))
axiom
v:=matrix[[v11],[v12]]

\label{eq76}\left[ 
\begin{array}{c}
v 11 
\
v 12 
(76)
Type: Matrix(Polynomial(Integer))
axiom
A*v
>> Error detected within library code: can't multiply matrices of incompatible dimensions

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named - having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op - to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named - with argument type(s) Expression(Integer) Matrix(Expression(Integer))
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq77}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(77)
Type: Matrix(Expression(Integer))
axiom
v:=matrix[[v11],[v12]]

\label{eq78}\left[ 
\begin{array}{c}
v 11 
\
v 12 
(78)
Type: Matrix(Polynomial(Integer))
axiom
A*v
>> Error detected within library code: can't multiply matrices of incompatible dimensions

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named - having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op - to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named - with argument type(s) Expression(Integer) Matrix(Expression(Integer))
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq79}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(79)
Type: Matrix(Expression(Integer))
axiom
v:=matrix[[v11],[v12]]

\label{eq80}\left[ 
\begin{array}{c}
v 11 
\
v 12 
(80)
Type: Matrix(Polynomial(Integer))
axiom
A*v
>> Error detected within library code: can't multiply matrices of incompatible dimensions

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named - having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op - to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named - with argument type(s) Expression(Integer) Matrix(Expression(Integer))
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq81}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(81)
Type: Matrix(Expression(Integer))
axiom
v:=matrix[[v11],[v12]]

\label{eq82}\left[ 
\begin{array}{c}
v 11 
\
v 12 
(82)
Type: Matrix(Polynomial(Integer))
axiom
A*v
>> Error detected within library code: can't multiply matrices of incompatible dimensions

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named - having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op - to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named - with argument type(s) Expression(Integer) Matrix(Expression(Integer))
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq83}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(83)
Type: Matrix(Expression(Integer))
axiom
v:=matrix[[v11],[v12]]

\label{eq84}\left[ 
\begin{array}{c}
v 11 
\
v 12 
(84)
Type: Matrix(Polynomial(Integer))
axiom
A*v
>> Error detected within library code: can't multiply matrices of incompatible dimensions

axiom
A:=matrix[[cos(x),-sin(x)],[sin(x),cos(x)]]

\label{eq85}\left[ 
\begin{array}{cc}
{\cos \left({x}\right)}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{\cos \left({x}\right)}
(85)
Type: Matrix(Expression(Integer))
axiom
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq86}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(86)
Type: Matrix(Expression(Integer))
axiom
v:=matrix[[v11],[v12]]

\label{eq87}\left[ 
\begin{array}{c}
v 11 
\
v 12 
(87)
Type: Matrix(Polynomial(Integer))
axiom
A*v

\label{eq88}\left[ 
\begin{array}{c}
{-{v 12 \ {\sin \left({x}\right)}}+{v 11 \ {\cos \left({x}\right)}}}
\
{{v 11 \ {\sin \left({x}\right)}}+{v 12 \ {\cos \left({x}\right)}}}
(88)
Type: Matrix(Expression(Integer))
axiom
D(1,1)*v

\label{eq89}\left[ 
\begin{array}{c}
{{v 11 \ {\sqrt{- 1}}\ {\sin \left({x}\right)}}+{v 11 \ {\cos \left({x}\right)}}}
\
{{v 12 \ {\sqrt{- 1}}\ {\sin \left({x}\right)}}+{v 12 \ {\cos \left({x}\right)}}}
(89)
Type: Matrix(Expression(Integer))
axiom
A*v-D(1,1)*v

\label{eq90}\left[ 
\begin{array}{c}
{{\left(-{v 11 \ {\sqrt{- 1}}}- v 12 \right)}\ {\sin \left({x}\right)}}
\
{{\left(-{v 12 \ {\sqrt{- 1}}}+ v 11 \right)}\ {\sin \left({x}\right)}}
(90)
Type: Matrix(Expression(Integer))

axiom
A:=matrix[[cos(x),-sin(x)],[sin(x),cos(x)]]

\label{eq91}\left[ 
\begin{array}{cc}
{\cos \left({x}\right)}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{\cos \left({x}\right)}
(91)
Type: Matrix(Expression(Integer))
axiom
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq92}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(92)
Type: Matrix(Expression(Integer))
axiom
v:=matrix[[v11],[v12]]

\label{eq93}\left[ 
\begin{array}{c}
v 11 
\
v 12 
(93)
Type: Matrix(Polynomial(Integer))
axiom
A*v

\label{eq94}\left[ 
\begin{array}{c}
{-{v 12 \ {\sin \left({x}\right)}}+{v 11 \ {\cos \left({x}\right)}}}
\
{{v 11 \ {\sin \left({x}\right)}}+{v 12 \ {\cos \left({x}\right)}}}
(94)
Type: Matrix(Expression(Integer))
axiom
D(1,1)*v

\label{eq95}\left[ 
\begin{array}{c}
{{v 11 \ {\sqrt{- 1}}\ {\sin \left({x}\right)}}+{v 11 \ {\cos \left({x}\right)}}}
\
{{v 12 \ {\sqrt{- 1}}\ {\sin \left({x}\right)}}+{v 12 \ {\cos \left({x}\right)}}}
(95)
Type: Matrix(Expression(Integer))
axiom
solve(A*v-D(1,1)*v=0,v(1,1))
There are 3 exposed and 0 unexposed library operations named equation having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op equation to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named equation with argument type(s) Matrix(Expression(Integer)) NonNegativeInteger
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

axiom
A:=matrix[[cos(x),-sin(x)],[sin(x),cos(x)]]

\label{eq96}\left[ 
\begin{array}{cc}
{\cos \left({x}\right)}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{\cos \left({x}\right)}
(96)
Type: Matrix(Expression(Integer))
axiom
D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq97}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(97)
Type: Matrix(Expression(Integer))
axiom
v:=matrix[[v11],[v12]]

\label{eq98}\left[ 
\begin{array}{c}
v 11 
\
v 12 
(98)
Type: Matrix(Polynomial(Integer))
axiom
A*v

\label{eq99}\left[ 
\begin{array}{c}
{-{v 12 \ {\sin \left({x}\right)}}+{v 11 \ {\cos \left({x}\right)}}}
\
{{v 11 \ {\sin \left({x}\right)}}+{v 12 \ {\cos \left({x}\right)}}}
(99)
Type: Matrix(Expression(Integer))
axiom
D(1,1)*v

\label{eq100}\left[ 
\begin{array}{c}
{{v 11 \ {\sqrt{- 1}}\ {\sin \left({x}\right)}}+{v 11 \ {\cos \left({x}\right)}}}
\
{{v 12 \ {\sqrt{- 1}}\ {\sin \left({x}\right)}}+{v 12 \ {\cos \left({x}\right)}}}
(100)
Type: Matrix(Expression(Integer))
axiom
solve(A*v-D(1,1)*v=0,v11)
There are 3 exposed and 0 unexposed library operations named equation having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op equation to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named equation with argument type(s) Matrix(Expression(Integer)) NonNegativeInteger
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

axiom
A:=matrix[[cos(x)-L,-sin(x)],[sin(x),cos(x)-L]]
There are 8 exposed and 3 unexposed library operations named - having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op - to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named - with argument type(s) Expression(Integer) Matrix(Expression(Integer))
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. D:=matrix[[sqrt(-1)*sin(x)+cos(x)],[-sqrt(-1)*sin(x)+cos(x)]]

\label{eq101}\left[ 
\begin{array}{c}
{{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
\
{-{{\sqrt{- 1}}\ {\sin \left({x}\right)}}+{\cos \left({x}\right)}}
(101)
Type: Matrix(Expression(Integer))
axiom
v:=matrix[[v11],[v12]]

\label{eq102}\left[ 
\begin{array}{c}
v 11 
\
v 12 
(102)
Type: Matrix(Polynomial(Integer))
axiom
A*v

\label{eq103}\left[ 
\begin{array}{c}
{-{v 12 \ {\sin \left({x}\right)}}+{v 11 \ {\cos \left({x}\right)}}}
\
{{v 11 \ {\sin \left({x}\right)}}+{v 12 \ {\cos \left({x}\right)}}}
(103)
Type: Matrix(Expression(Integer))
axiom
D(1,1)*v

\label{eq104}\left[ 
\begin{array}{c}
{{v 11 \ {\sqrt{- 1}}\ {\sin \left({x}\right)}}+{v 11 \ {\cos \left({x}\right)}}}
\
{{v 12 \ {\sqrt{- 1}}\ {\sin \left({x}\right)}}+{v 12 \ {\cos \left({x}\right)}}}
(104)
Type: Matrix(Expression(Integer))
axiom
A*v-D(1,1)*v

\label{eq105}\left[ 
\begin{array}{c}
{{\left(-{v 11 \ {\sqrt{- 1}}}- v 12 \right)}\ {\sin \left({x}\right)}}
\
{{\left(-{v 12 \ {\sqrt{- 1}}}+ v 11 \right)}\ {\sin \left({x}\right)}}
(105)
Type: Matrix(Expression(Integer))

axiom
A*v

\label{eq106}\left[ 
\begin{array}{c}
{-{v 12 \ {\sin \left({x}\right)}}+{v 11 \ {\cos \left({x}\right)}}}
\
{{v 11 \ {\sin \left({x}\right)}}+{v 12 \ {\cos \left({x}\right)}}}
(106)
Type: Matrix(Expression(Integer))


e^{i\ \pi}=-1
 

axiom
A:=matrix[[cos(x),-sin(x)],[sin(x),cos(x)]]

\label{eq107}\left[ 
\begin{array}{cc}
{\cos \left({x}\right)}& -{\sin \left({x}\right)}
\
{\sin \left({x}\right)}&{\cos \left({x}\right)}
(107)
Type: Matrix(Expression(Integer))

Differential Equations

\begin(axiom) solve(D(y x, x)^2+y x=1,y,x) \end(axiom)

axiom
solve(D(y x, x)^2+y x=1,y,x)
There are no library operations named y Use HyperDoc Browse or issue )what op y to learn if there is any operation containing " y " in its name.
Cannot find a definition or applicable library operation named y with argument type(s) Variable(x)
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

axiom
deq := (x**2 + 1) * D(y x, x, 2) + 3 * x * D(y x, x) + y x = 0
There are no library operations named y Use HyperDoc Browse or issue )what op y to learn if there is any operation containing " y " in its name.
Cannot find a definition or applicable library operation named y with argument type(s) Variable(x)
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. solve(deq, y, x)
There are 6 exposed and 1 unexposed library operations named solve having 3 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op solve to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named solve with argument type(s) Variable(deq) Variable(y) Variable(x)
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

axiom
f(x)=x*2
There are no library operations named f Use HyperDoc Browse or issue )what op f to learn if there is any operation containing " f " in its name.
Cannot find a definition or applicable library operation named f with argument type(s) Variable(x)
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. D(y,x)
There are 5 exposed and 0 unexposed library operations named D having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op D to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named D with argument type(s) Variable(y) Variable(x)
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need. (x**2 + 1) * D(y, x, 2) + 3 * x * D(y, x) + y = 0
There are 3 exposed and 0 unexposed library operations named D having 3 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op D to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named D with argument type(s) Variable(y) Variable(x) PositiveInteger
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

axiom
y := operator y

\label{eq108}y(108)
Type: BasicOperator
axiom
solve(D(y(x),x)-y(x)^2=1,y,x)
There are 5 exposed and 0 unexposed library operations named D having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op D to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named D with argument type(s) Expression(Integer) Variable(x)
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

Just trying to understand the syntax

axiom
solve(a*x^2+b*x+c,x)

\label{eq109}\left[{x = 0}\right](109)
Type: List(Equation(Expression(Integer)))

axiom
solve(a*x^2+b*x+c=0,x)
There are 18 exposed and 3 unexposed library operations named solve having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op solve to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named solve with argument type(s) Equation(Equation(Expression(Integer))) Variable(x)
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

axiom
zerosOf(a*x^2+b*x+c,x)
There are 2 exposed and 0 unexposed library operations named zerosOf having 2 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op zerosOf to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named zerosOf with argument type(s) Equation(Expression(Integer)) Variable(x)
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

axiom
zerosOf(sqrt(h^2+a^2)-a=d,a)
There are 4 exposed and 1 unexposed library operations named sqrt having 1 argument(s) but none was determined to be applicable. Use HyperDoc Browse, or issue )display op sqrt to learn more about the available operations. Perhaps package-calling the operation or using coercions on the arguments will allow you to apply the operation.
Cannot find a definition or applicable library operation named sqrt with argument type(s) Equation(Expression(Integer))
Perhaps you should use "@" to indicate the required return type, or "$" to specify which version of the function you need.

axiom
solve(x^2+x+1=98,x)

\label{eq110}\left[{{{x^2}+ x -{97}}= 0}\right](110)
Type: List(Equation(Fraction(Polynomial(Integer))))

axiom
solve(x^2+2*x+1=0,x)

\label{eq111}\left[{x = - 1}\right](111)
Type: List(Equation(Fraction(Polynomial(Integer))))

Solutions in Expression domain

axiom
solve((x^2+x+1=98)::Equation Expression Integer,x)

\label{eq112}\left[{x ={{{\sqrt{389}}- 1}\over 2}}, \:{x ={{-{\sqrt{389}}- 1}\over 2}}\right](112)
Type: List(Equation(Expression(Integer)))

axiom
solve((x^3 * b + x^2*(b*d - b + 1) + x*(3*d - b*d - 1) + 2*d^2 -
2*d = 0)::Equation Expression Integer, x)
Cannot convert from type Equation(Equation(Expression(Integer))) to Equation(Expression(Integer)) for value 3 2 2 L x + (L d - L + 1)x + ((- L + 3)d - 1)x + 2d - 2d = 3 2 +---+ 3 2 (- x + (- d + 1)x + d x)\|- 1 sin(x) + (x + (d - 1)x - d x)cos(x) + 2 2 x + (3d - 1)x + 2d - 2d = 0= 0