## Something to discuss about CASes

Maple

I'd like to pay attention to the recent article "The Misfortunes of a Trio of Mathematicians Using Computer Algebra Systems. Can We Trust in Them?"

In particular, the authors consider the integral

int(abs(exp(2*Pi*Ix)+exp(2*Pi*I*y)),[x=0..1,y=0..1]),

stating "Both Mathematica and Maple return zero as the answer to this calculation. Yet this cannot be correct, because the integrand is clearly positive and nonzero in the indicated region". Unfortunately, they give only the Mathematica command to this end.

Of course, the integral under consideration is complicated so the the simple-minded trials

int(evalc(abs(exp((2*Pi*I)*x)+exp((2*Pi*I)*y))), [x = 0 .. 1, y = 0 .. 1]);

and

VectorCalculus:-int(evalc(abs(exp((2*Pi*I)*x)+exp((2*Pi*I)*y))), [x,y]=Rectangle( 0 .. 1, 0 .. 1));

fail. However,this can be found with Maple (I think with Mathematica too.) in such a way.

 (1)

 (2)

 (3)

 (4)

 (5)

 (6)

## 2014 Maple T.A. User Summit - Day Two

by:

With the 2014 Maple T.A. User Summit completed and conference goers have returned to their home cities, it’s time to recap what happened on day 2. We started things off in the morning with an energized presentation by Prof. Jack Weiner of the University of Guelph. Jack pointed out that the University of Guelph has revolutionized their teaching and online homework solutions by using Maple and Maple T.A. He also gave an example of one of this famous Friday Specials – an example of math being used in the real world and discussed other teaching suggestions from his 40+ years of experience in the field.

## Physics Package Development

by: Maple 18

I figured I'd start a new thread for odd things I come across whilst using the new physics package.

I have found this, and am not sure if it is expected.

 (1)

 (2)

 (3)

 (4)

## MapleNet 18

by: MapleNet

MapleNet 18 is now available.  MapleNet 18 provides increased mobile support and eliminates the need for a Java plug-in when interacting with Maple documents in a web browser. See What’s New in MapleNet 18 for more information.

eithne

## Visualization of meme propagation on the internet

by:

Hi, we recently put together a web video on how memes spread on the internet using several visualizations generated from Maple 18:

http://youtu.be/vEhAkEPwESI

Found the new ability to specify a background image for plots to be very helpful.

## 2014 Maple T.A. User Summit - Day One

by:

Reporting from Amsterdam, it's a pleasure to report on day one of the 2014 Maple T.A. User Summit. Being our first Maple T.A. User Summit, we wanted to ensure attendees were not only given the opportunity to sit-in on key note presentations from various university or college professors, high school teachers and Maplesoft staff, but to also engage in active discussions with each other on how they have implemented Maple T.A. at their institution.

We started things off by hearing an encouraging talk by Maplesoft’s president and CEO Jim Cooper. Jim started things off with a question to get everyone thinking; “How will someone born today be educated in the 2030s?” From there, we heard about Maplesoft’s vision on education, learning, and questions we have to ask ourselves today to be prepared for the future.

Up next was Louise Krmpotic, Director of Business Development. Louise discussed content and Maple T.A. This included an overview of our content team operations, what content is currently available today, and how users can engage themselves in the Maple T.A. community and get involved in sharing their own content with other users.

We then heard our first keynote presentation by Professor Steve Furino and Rachael Vanbruggen of the University of Waterloo.  We were provided with a brief history of the University of Waterloo and mathematics as well as their ever expanding initiative in brining math courses into an online environment both at the university level and high school level. We then heard in detail of how Maplesoft technologies have been implemented in various math courses and the successes and challenges of creating their own content.

I (Jonny Zivku, Product Manager of Maple T.A.) then delivered a presentation on all the new features in Maple T.A. 10. I won’t get into detail about the new features in this post, but if you’d like to read more about it, check out my previous post from a few weeks ago.

Meta Keijzer-de Ruijter of TU Delft University then took the floor and delivered our second keynote presentation. She discussed the history of Delft as well as the new initiative, the Delft Extension School. She then went on to discuss Delft’s experiences with implementing Maple T.A. at their campus and maintaining it since 2007 as well as how they’ve managed to maintain their academic integrity while using online tools. We also had the opportunity of seeing several examples of some of their excellent questions they’ve created which included adaptive, math apps, algorithms, maple-graded and more.

After a delicious lunch break, Paul DeMarco from Maplesoft, Director of Maple and Maple T.A. Development, talked about the future of testing and assessment. Paul went over various topics and how we envision them changing which included partial marks, skills assessment, learning, feedback, and content.

Jonathan Kress from the University of New South Wales was up next and discussed their experiences with implementing Maple T.A. into their mathematics and statistics courses at a first year, second year, and higher level of learning. He then discussed the various scenarios for how Maple T.A. is deployed which included both formative and summative testing. Moving on, we then were briefed on Maple T.A. use from a student's perspective and an overview of various pieces of content.

We then moved on to an engaging panel discussion which featured Grahame Smart, math and e-learning consultant, Professor Marina Marchisio of the University of Turin and Dr. Alice Barana also from the University of Turin. Grahame first started things off by discussing how he doubled the pass rates in his prevoius high school using investigative and interactive learning with Maple T.A. Marina and Dr. Barana then gave us a brief overview of Maple T.A. at the University of Turin and their exciting PP&S project. The panel then answered various questions from the audience

William Rybolt of Babson College then closed off the presentations with a discussion about how his school has been a long time user of EDU, Maple T.A.’s predecessor.  Going from ungraded web pages, web forms, and Excel, we heard about Babson’s attempts at converting paper-based assignments into an online format until 2003 when they decided to adopt EDU.

To end the day, we enjoyed a nice cruise on the canals of Amsterdam while enjoying a delicious three course meal. Not a bad way to end the day!

Jonny
Maplesoft Product Manager, Maple T.A.

## MapleSim 7 is now available

We have just released a new version of MapleSim.

MapleSim 7 makes it substantially easier to explore and validate designs, create and manage libraries of custom components, and use your MapleSim models with other tools. It includes:

• Easy model investigation. A new Results Manager gives you greater flexibility when it comes to investigating your simulation results, including the ability to compare simulation runs on the same axes, instantly plot both probed and unprobed variables, and easily create custom plots.
• Convenient library creation. With MapleSim 7, it is significantly easier to create, manage, and share libraries of custom components.
• Improved Modelica support. MapleSim 7 expands the support of the Modelica language so that more Modelica definitions can be used directly inside MapleSim.

We have also updated and expanded the MapleSim 7 family of add-on products:

• The new MapleSim Battery Library, which is available as a separate add-on, allows you to incorporate physics-based predictive models of battery cells into your system models so you can take battery behavior into account early in the design process.
• The MapleSim Connector for FMI, which allows engineers to share very efficient, high-fidelity models created in MapleSim with other modeling tools, has been expanded to support more export formats for co-simulation and model exchange.

eithne

## Computer Algebra for Theoretical Physics

by:

Last week the Physics package was presented in a talk at the Perimeter Institute for Theoretical Physics and in a combined Applied Mathematics and Physics Seminar at the University of Waterloo. The presentation at the Perimeter Institute got recorded. It was a nice opportunity to surprise people with the recent advances in the package. It follows the presentation with sections closed, and at the end there is a link to a pdf with the sections open and to the related worksheet, used to run the computations in real time during the presentation.

COMPUTER ALGEBRA FOR THEORETICAL PHYSICS

 Generally speaking, physicists still experience that computing with paper and pencil is in most cases simpler than computing on a Computer Algebra worksheet. On the other hand, recent developments in the Maple system implemented most of the mathematical objects and mathematics used in theoretical physics computations, and dramatically approximated the notation used in the computer to the one used in paper and pencil, diminishing the learning gap and computer-syntax distraction to a strict minimum. In connection, in this talk the Physics project at Maplesoft is presented and the resulting Physics package illustrated tackling problems in classical and quantum mechanics, general relativity and field theory. In addition to the 10 a.m lecture, there will be a hands-on workshop at 1pm in the Alice Room.

 ... Why computers? We can concentrate more on the ideas instead of on the algebraic manipulations   We can extend results with ease   We can explore the mathematics surrounding a problem   We can share results in a reproducible way

Representation issues that were preventing the use of computer algebra in Physics

Notation and related mathematical methods that were missing:

coordinate free representations for vectors and vectorial differential operators,

covariant tensors distinguished from contravariant tensors,

functional differentiation, relativity differential operators and sum rule for tensor contracted (repeated) indices

Bras, Kets, projectors and all related to Dirac's notation in Quantum Mechanics

Inert representations of operations, mathematical functions, and related typesetting were missing:

inert versus active representations for mathematical operations

ability to move from inert to active representations of computations and viceversa as necessary

hand-like style for entering computations and texbook-like notation for displaying results

Key elements of the computational domain of theoretical physics were missing:

ability to handle products and derivatives involving commutative, anticommutative and noncommutative variables and functions

ability to perform computations taking into account custom-defined algebra rules of different kinds

(problem related commutator, anticommutator, bracket, etc. rules)

 Vector and tensor notation in mechanics, electrodynamics and relativity
 Dirac's notation in quantum mechanics

 • Computer algebra systems were not originally designed to work with this compact notation, having attached so dense mathematical contents, active and inert representations of operations, not commutative and customizable algebraic computational domain, and the related mathematical methods, all this typically present in computations in theoretical physics.
 • This situation has changed. The notation and related mathematical methods are now implemented.

Tackling examples with the Physics package

Classical Mechanics

Inertia tensor for a triatomic molecule

Problem: Determine the Inertia tensor of a triatomic molecule that has the form of an isosceles triangle with two masses  in the extremes of the base and mass  in the third vertex. The distance between the two masses  is equal to a, and the height of the triangle is equal to h.

 Solution

Quantum mechanics

Quantization of the energy of a particle in a magnetic field

Show that the energy of a particle in a constant magnetic field oriented along the z axis can be written as

where and  are creation and anihilation operators.

 Solution
 The quantum operator components of  satisfy

Unitary Operators in Quantum Mechanics

(with Pascal Szriftgiser, from Laboratoire PhLAM, Université Lille 1, France)

A linear operator U is unitary if , in which case, Unitary operators are used to change the basis inside an Hilbert space, which physically means changing the point of view of the considered problem, but not the underlying physics. Examples: translations, rotations and the parity operator.

 1) Eigenvalues of an unitary operator and exponential of Hermitian operators
 2) Properties of unitary operators
 3) Schrödinger equation and unitary transform
 4) Translation operators

Classical Field Theory

The field equations for a quantum system of identical particles

Problem: derive the field equation describing the ground state of a quantum system of identical particles (bosons), that is, the Gross-Pitaevskii equation (GPE). This equation is particularly useful to describe Bose-Einstein condensates (BEC).

 Solution
 The field equations for the  model
 Maxwell equations departing from the 4-dimensional Action for Electrodynamics

General Relativity

Given the spacetime metric,

a) Compute the trace of

where  is some function of the radial coordinate,  is the Ricci tensor,  is the covariant derivative operator and  is the stress-energy tensor

b) Compute the components of the traceless part of   of item a)

c) Compute an exact solution to the nonlinear system of differential equations conformed by the components of   obtained in b)

Background: paper from February/2013, "Withholding Potentials, Absence of Ghosts and Relationship between Minimal Dilatonic Gravity and f(R) Theories", by P. Fiziev.

 a) The trace of
 b) The components of the traceless part of
 c) An exact solution for the nonlinear system of differential equations conformed by the components of
 The Physics Project "Physics" is a software project at Maplesoft that started in 2006. The idea is to develop a computational symbolic/numeric environment specifically for Physics, targeting educational and research needs in equal footing, and resembling as much as possible the flexible style of computations used with paper and pencil. The main reference for the project is the Landau and Lifshitz Course of Theoretical Physics.   A first version of "Physics" with basic functionality appeared in 2007. Since then the package has been growing every year, including now, among other things, a searcheable database of solutions to Einstein equations and a new dedicated programming language for Physics.   Since August/2013, weekly updates of the Physics package are distributed on the web, including the new developments related to our plan as well as related to people's feedback.

Edgardo S. Cheb-Terrab
Physics, Differential Equations and Mathematical Functions, Maplesoft

## 2014 Maple T.A. User Summit – Schedule

by:

As previously announced, Maplesoft will be hosting  the 2014 Maple T.A. User Summit this October 22 – 24 in Amsterdam, The Netherlands. You might have heard about the launch of Maple T.A. 10. The User Summit in Amsterdam is a perfect opportunity to get to know more, see the new features in action, and meet Maple T.A. users from around the world.

We are happy to announce that the schedule has been finalized! The event will feature keynote and user presentations by prominent educators from around the world, first-hand discussions by Maplesoft representatives, exciting social events, and training sessions.

As you can see, this event has shaped up to be a very exciting summit for Maple T.A. users. After seeing this schedule you may be wondering why you didn’t sign-up – don’t worry, it’s not too late! To register, please visit our website: https://webstore.maplesoft.com/taconference/register.aspx

I hope to see you there!

Jonny
Maplesoft Product Manager, Maple T.A.

## Solutions of Differential Equations with Embedded...

Maple 18

The Embedded Components are containers that currently use industries for modeling complex systems to find viable solutions in real time and thus avoid huge wait times and overload our computer; by this paper should show you how to implement a dynamic worksheet through Embedded Components in Maple; it goes from finding solutions to ordinary differential equations partial; which interact with the researcher using different parameters.
Using graphical programming will find immediate solutions to selected problems in science and engineering criteria of variability and boundary conditions evolving development with buttons on multiple actions.

cimac_2014.pdf

(in spanish)

Solutions_of_Differential_Equations_with_Embedded_Components.mw

Lenin Araujo Castillo

Physics Pure

Computer Science

## 3D implicit plot with scaled axes

by: Maple

Someone asked on math.stackexchange.com about plotting x*y*z=1 and, while it's easy enough to handle it with implicitplot3d it raised the question of how to get nice constained axes in the case that the x- or y-range is much less than the z-range.

Here's what WolframAlpha gives. (Mathematica handles it straight an an plot of the explict z=1/(x*y), which is interesting although I'm more interested here in axes scaling than in discontinuous 3D plots)

Here is the result of a call to implicitplot3d with default scaling=unconstrained. The axes appear like in a cube, each of equal "length".

Here is the same plot, with scaling=constrained. This is not pretty, because the x- and y-range are much smalled than the z-range.

How can we control the axes scaling? Resizing the inlined plot window with the mouse just affects the window. The plot itself remains  rendered in a cube. Using right-click menus to rescale just makes all axes grow or shrink together.

One unattractive approach it to force a small z-view on a plot of a much larger z-range, for a piecewise or procedure that is undefined outisde a specific range.

```plots:-implicitplot3d(proc(x,y,z)
if abs(z)>200 then undefined;
else x*y*z-1; end if;
end proc,
-1..1, -1..1, -200..200, view=[-1..1,-1..1,-400..400],
style=surfacecontour, grid=[30,30,30]);
```

Another approach is to scale the x and y variables, scale their ranges, and then force scaled tickmark values. Here is a rough procedure to automate such a thing. The basic idea is for it to accept the same kinds of arguments are implicitplot3d does, with two extra options for scaling the axis x-relative-to-z, and axis y-relative-to-z.

```implplot3d:=proc( expr,
rng1::name=range(numeric),
rng2::name=range(numeric),
rng3::name=range(numeric),
{scalex::numeric:=1, scaley::numeric:=1} )
local d1, d2, dz, n1, n2, r1, r2, rngs, scx, scy;
uses plotfn=plots:-implicitplot3d;
(n1,n2) := lhs(rng1), lhs(rng2);
dz := rhs(rhs(rng3))-lhs(rhs(rng3));
(scx,scy) := scalex*dz/(rhs(rhs(rng1))-lhs(rhs(rng1))),
scaley*dz/(rhs(rhs(rng2))-lhs(rhs(rng2)));
(r1,r2) := map(`*`,rhs(rng1),scx), map(`*`,rhs(rng2),scy);
(d1,d2) := rhs(r1)-lhs(r1), rhs(r1)-lhs(r1);
plotfn( subs([n1=n1/scx, n2=n2/scy], expr),
n1=r1, n2=r2, rng3, _rest[],
':-axis[1]'=[':-tickmarks'=[seq(i=evalf[3](i/scx),i=r1,d1/4)]],
':-axis[2]'=[':-tickmarks'=[seq(i=evalf[3](i/scy),i=r2,d2/4)]],
':-scaling'=':-constrained');
end proc:
```

The above could be better. It could also detect user-supplied custom x- or y-tickmarks and then scale those instead of forming new ones.

Here is an example of using it,

```implplot3d( x*y*z=1, x=-1..1, y=-1..1, z=-200..200, grid=[30,30,30],
scalex=1.618, scaley=1.618 );
```

Here is another example

```implplot3d( x*y*z=1, x=-5..13, y=-11..5, z=-200..200, grid=[30,30,30],
style=surfacecontour, orientation=[-50,55,0],
scaley=0.5 );
```

Ideally I would like to see the GUI handle all this, with say (two or three) additional (scalar) axis scaling properties in a PLOT3D structure. Barring that, one might ask whether a post-processing routine could use plots:-transform (or friend) and also force the tickmarks. For that I believe that picking off the effective x-, y-, and z-ranges is needed. That's not too hard for the result of a single call to the plot3d command. Where it could get difficult is in handling the result of plots:-display when fed a mix of several spacecurves, 3D implicit plots, and surfaces.

Have I overlooked something much easier?

acer

## IT Solutions for the Next Generation of Engineers

Maple 18

Presented at the National University of Trujillo - CUICITI 2014.

IT Solutions for the Next Generation of Engineers

Descarga aqui los Slides de la presentación/mw CUICITI-2014

CUICITI_09102014.pdf

Soluciones_Informáticas_para_la_siguiente_generación_de_Ingenieros.mw

Lenin Araujo Castillo

Physics Pure

Computer Science

## October Live Webinars

by: Maple

Maplesoft regularly hosts live webinars on a variety of topics. Below you will find details on some upcoming webinars we think may be of interest to the MaplePrimes community.  For the complete list of upcoming webinars, visit our website.

Maplesoft Solutions for Math Education

This webinar will demonstrate how Maplesoft’s solutions for mathematics education help teachers bring complex problems to life, allow students to focus on concepts rather than the mechanics of solutions, and offer students the necessary practice to master the concepts being taught.

Key takeaways include:

• How to quickly and painlessly place incoming students in the correct math courses

• How you can use hundreds of intuitive Clickable Math tools to demonstrate and explore up to advanced-level problems and algorithms in the classroom

• How to automate your testing and assessment needs, specifically for math courses

• How to bring your STEM courses to life in an online environment

Introduction to Maple T.A. Placement Test Suite 10

This webinar will provide an overview and demonstration of the latest release of the Maple T.A. MAA Placement Test Suite. A result of the ongoing partnership between the Mathematical Association of America (MAA) and Maplesoft, this product gives you the ability to provide the renowned MAA placement tests in an online testing environment. Learn how the Maple T.A. MAA Placement Test Suite can greatly simplify your placement process and explore the latest additions, including a streamlined interface and new tests to determine your students’ readiness for Precalculus and Algebra courses.

There is also a recording available from another live webinar we did earlier this month: Introduction to Maple T.A. 10.

## Announcing Maple T.A. 10

by:

After lots of hard work, vast amounts of testing, and enormous anticipation, Maple T.A. 10 is now available! Maple T.A. 10 is by far our biggest release to date - and we’re not just saying that. When we compare the list of new features and improvements in Maple T.A. 10 with that of previous releases, it’s clear that Maple T.A. 10 has the largest feature set and improvements to date.

## Photon Exposure

by: Maple 18

This application calculates the number of photons reaching a camera sensor for a given exposure. A blackbody model of the sun is generated. The "Sunny 16" rule for exposure is demonstrated. Calculations are done using units.Photon_Exposure_Array.mw

Photon Exposure

Blackbody Model of the Sun

 Plank Constant Boltzman Constant Light Speed Sun Radius Earth Orbit Sun Color Temperature Transmission Factor

=

 Photopic Relative Response VP vs λ =  =                (ArrayInterpolation for x,y data VPdata returns y' for new x data lambdaP)

Illuminance in Radiometric and Photometric Units:

=

=

Translation from Illuminance to Luminance for Reflected Light;

Object Reflectance

Object Luminance                            =

Illuminance of a Camera Sensor  Eps applied for time texp determines Luminous Exposure Hp;

Ideal Illuminance is determined by the exposure time texp, effective f-number N and to a less extent the angle to the optical axis θ;

 • H       Luminous Exposure
 • Eps     Illuminance to the Camera
 • N                                               Effective F-Number
 • texp             Exposure Time
 • θ        Angle to the Optical Axis

The camera meter determines the exposure time texp to balance the object luminance, reflectance and effective f-number. It does this based on an internal constant k and the camera ISO s.

 • s        ISO Gain (Based on saturation at 3 stops above the average scene luminance)
 • k       Reflected Light Meter Calibration Constant

for Nikon, Canon and Sekonic

 • c        Incident Light Meter Calibration Constant

for Sekonic with flat dome

(Incident Light Meter)

(Reflected Light Meter)

 Solve for H in terms of the Camera Meter Constant k and s

=

Note:  Meters are typically set for a scene reflectance 3 stops below 100% or 12.5%.

=

=

Actual exposure time includes typical lens losses;

 Magnification Lens Transmittance Lens Flare Vignetting

Total Lens Efficiency

=

Replacing Eps with q*Eps we get the "Sunny 16" relation between exposure time and ISO;

=

=

 • The Number of Photons NP Reaching the Sensor Area A;
 • Circle of confusion for 24x36mm "Full Frame" for 1 arcminute view at twice the diagonal:

 • Sensor Bandwidth                                          Photopic Response VP
 • Exposure Time for Zone 5: Rscene=12.5% , Saturation in Zone 8 Rscene=100%
 • Camera ISO differs from Saturation ISO. Typical Saturation ISO is 2300 when the camera is set to 3200. See DxoMark.

The average number of photons for exposure time based on Reflectance of the scene  relative to the metered value:

Zone 5;

=

Zone 8;

=

Approximate Formula

:

=

Average Visible Photon Energy

=

=